Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Lean
miniF2F-lean4
mertunsall/miniF2F-lean4
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
4mo ago
Recent commits
Latest commits.
Merge pull request #1 from mertunsall/fix/correct-erroneous-formalizations
6e9a975
Mert Unsal
4mo ago
Fix 7 erroneous theorem formalizations in the test split
1be24b7
mertunsall
4mo ago
Update README to remove outdated instructions
6306b5f
Kaiyu Yang
7mo ago
Merge pull request #32 from yangky11/separate-files
0919817
Kaiyu Yang
7mo ago
separate files
edd17c9
Kaiyu Yang
7mo ago
bump to v4.24.0
442f415
Kaiyu Yang
7mo ago
Merge pull request #30 from eric-wieser/v4.21.0
b5c6d30
Kaiyu Yang
9mo ago
Bump to Lean v4.21.0
669405e
Eric Wieser
9mo ago
Top contributors
Builders behind this project.
yangky11
24 commits
marcinwrochna
3 commits
eric-wieser
3 commits
JC-Chen1
3 commits
AG161
2 commits
RickySkywalker
2 commits
subfish-zhou
2 commits
mertunsall
2 commits
