leansolving/SqueezeBench
A benchmark for Lean-verified bounds on extremal combinatorics problems
GitHub repository with 9 stars and 2 forks.
Language: Lean
Topics: automated-theorem-proving, benchmark, combinatorics, lean4
24h trend summary
Trending score 0.02, freshness score 0.00, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-02: 9 stars and 2 forks.