repoGitHubTrust 82 · PrimaryPublished 5d agoLive · 5d ago
FreePeak/LeanKG
LeanKG: Stop Burning Tokens. Start Coding Lean.
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
LeanKG: Stop Burning Tokens. Start Coding Lean.
Paper → model → repo connections mined from source citations (Tier-1 exact match).