leanprover/comparator
GitHub repository with 82 stars and 15 forks.
Language: Lean
24h trend summary
Trending score 1.21, freshness score 1.00, stars gained +3, forks gained +1.
Latest metric snapshot
2026-06-15: 82 stars and 15 forks.
GitHub repository with 82 stars and 15 forks.
Language: Lean
Trending score 1.21, freshness score 1.00, stars gained +3, forks gained +1.
2026-06-15: 82 stars and 15 forks.