tom7/noperts
Reproducible nopert proofs
GitHub repository with 8 stars and 0 forks.
Language: Lean
24h trend summary
Trending score 0.06, freshness score 0.30, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-02: 8 stars and 0 forks.
Reproducible nopert proofs
GitHub repository with 8 stars and 0 forks.
Language: Lean
Trending score 0.06, freshness score 0.30, stars gained +0, forks gained +0.
2026-11-02: 8 stars and 0 forks.