etheorem/leanp2p
GitHub repository with 16 stars and 8 forks.
Language: Lean
24h trend summary
Trending score 0.41, freshness score 0.93, stars gained +1, forks gained +8.
Latest metric snapshot
2026-11-02: 16 stars and 8 forks.
GitHub repository with 16 stars and 8 forks.
Language: Lean
Trending score 0.41, freshness score 0.93, stars gained +1, forks gained +8.
2026-11-02: 16 stars and 8 forks.