openbmb/MA-ProofBench
Viewer • Updated • 200 • 581 • 14
Edit Datasets filters
Active filters: mathlib
tlb-22/euclean-numina-geometry
Viewer • Updated • 184k • 70 • 1
tlb-22/euclean-omni-geometry
Viewer • Updated • 780 • 59 • 1
Pradheep1647/lean-verifier-formalizations
Viewer • Updated • 69 • 362 • 1
phanerozoic/Lean4-Mathlib
Viewer • Updated • 232k • 211 • 2
ChristianZ97/minif2f_test-AlphaRenamed
Viewer • Updated • 244 • 44
MathNetwork/MathlibGraph
Preview • Updated • 370
7rouz/lean4
Viewer • Updated • 1 • 35
banach1729/goedel-workbook-lean427
Updated • 435
SJCaldwell/proofjudge
Viewer • Updated • 318 • 130 • 1
adeo1/mathlib_informal_v4.28.0
Viewer • Updated • 183k • 27 • 1
adamtopaz/mathlib_const_deps
Viewer • Updated • 733k • 251
SJCaldwell/proofjudge-eval-traces
Viewer • Updated • 7.84k • 219 • 1
mathlib-initiative/mathlib-const-dep
Viewer • Updated • 771k • 1.25k
mathlib-initiative/mathlib-tactics
Viewer • Updated • 1.96M • 1.76k • 2
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 10.8k • 22
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 81.1k • 133
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 32
ChristianZ97/NuminaMath-LEAN-satp-buffer-discard
Viewer • Updated • 12.6k • 19
mathlib-initiative/mathlib-types
Viewer • Updated • 771k • 1k
leanpolish-anon/lean-proof-compression
Viewer • Updated • 99k • 229 • 2
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer • Updated • 47k • 249
1337xyz1337xyz/leandojo-benchmark4-v10
Viewer • Updated • 251k • 128 • 1
anon-mlib-d3a4/MathlibGraph
Preview • Updated • 69
scicraft/LeanCat
Viewer • Updated • 100 • 126
MathlibPR/MathlibPR
Viewer • Updated • 57.4k • 390
taoanalysisbench/TaoAnalysisBench
Updated • 14
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated • 83
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer • Updated • 311k • 68 • 1
uw-math-ai/grothendieck-vanishing-logs
Viewer • Updated • 53.7k • 64 • 1