$git clone https://github.com/FreePeak/LeanKG
Installs into the current project.
Summary
LeanKG: Stop Burning Tokens. Start Coding Lean.