cmu-l3/llmlean
LLMs + Lean, on your laptop or in the cloud
GitHub repository with 219 stars and 33 forks.
Language: Lean
24h trend summary
Trending score 0.09, freshness score 0.83, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 219 stars and 33 forks.