Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
miniF2F-lean4
marcinwrochna/miniF2F-lean4
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
13mo ago
Recent commits
Latest commits.
Update README.md
816817e
Kaiyu Yang
13mo ago
Update README.md
02ba7cb
Kaiyu Yang
13mo ago
bump to v4.19.0
b96c231
Kaiyu Yang
14mo ago
Merge pull request #23 from hcWang942/pr-branch
05c60cb
Kaiyu Yang
14mo ago
improve imo_1981_p6 formalization and remove redundant definition in aime_1994_p3
e97f14d
hcWang
14mo ago
Fix imo_1960_p2 and imo_1981_p6 theorem goals
53bae3d
hcWang
14mo ago
Merge pull request #20 from jonathan-laurent/fix_amc12b_2002_p4
42ddcad
Kaiyu Yang
15mo ago
Fix hypothesis name in amc12b_2002_p4 to avoid shadowing.
9505034
jonathan-laurent
15mo ago
Top contributors
Builders behind this project.
yangky11
14 commits
marcinwrochna
3 commits
JC-Chen1
3 commits
AG161
2 commits
RickySkywalker
2 commits
czhang2718
1 commits
yzhang-math
1 commits
jonathan-laurent
1 commits
