leanprover-community/plausible
GitHub repository with 97 stars and 23 forks.
Language: Lean
24h trend summary
Trending score 1.00, freshness score 1.00, stars gained +3, forks gained +0.
Latest metric snapshot
2026-06-15: 97 stars and 23 forks.
GitHub repository with 97 stars and 23 forks.
Language: Lean
Trending score 1.00, freshness score 1.00, stars gained +3, forks gained +0.
2026-06-15: 97 stars and 23 forks.