FrenzyMath/lsv2-mathlib-v4.28.0-rc1-cuvs
Updated • 128
AI & ML interests
None defined yet.
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
Viewer • Updated • 311k • 60 • 1
FrenzyMath/mathlib_informal_v4.19.0
Viewer • Updated • 218k • 31 • 4
FrenzyMath/state_tactic_pairs
Viewer • Updated • 56.4k • 23 • 1
FrenzyMath/Herald_proofs
Viewer • Updated • 44.6k • 121 • 5
FrenzyMath/Herald_statements
Viewer • Updated • 580k • 101 • 2
FrenzyMath/mathlib_informal_v4.16.0
Viewer • Updated • 188k • 74 • 6