edemaine/mean
Natural language Lean
GitHub repository with 14 stars and 1 forks.
Language: Lean
24h trend summary
Trending score 0.64, freshness score 0.98, stars gained +1, forks gained +0.
Latest metric snapshot
2026-11-15: 14 stars and 1 forks.
Natural language Lean
GitHub repository with 14 stars and 1 forks.
Language: Lean
Trending score 0.64, freshness score 0.98, stars gained +1, forks gained +0.
2026-11-15: 14 stars and 1 forks.