Back to search
Top Contributors
478
commits
55
commits
54
commits
38
commits
33
commits
31
commits
30
commits
26
commits
15
commits
14
commits
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Stars
222
Forks
33
Watchers
222
Open Issues
7
Overall repository health assessment
No package.json found
This might not be a Node.js project
478
commits
55
commits
54
commits
38
commits
33
commits
31
commits
30
commits
26
commits
15
commits
14
commits
Merge pull request #327 from trishullab/GeorgeTsoukalas-patch-7
abd6e84View on GitHubMerge pull request #326 from logical-ivan/aleph-one-more-fix
961af76View on GitHub