FrenzyMath

university

Activity Feed Request to join this org

AI & ML interests

None defined yet.

FrenzyMath 's datasets 5

FrenzyMath/mathlib_informal_v4.19.0

Viewer • Updated Sep 19, 2025 • 218k • 104 • 2

FrenzyMath/state_tactic_pairs

Viewer • Updated Jul 11, 2025 • 56.4k • 45

FrenzyMath/Herald_proofs

Viewer • Updated May 13, 2025 • 44.6k • 67 • 3

FrenzyMath/Herald_statements

Viewer • Updated May 13, 2025 • 580k • 62 • 2

FrenzyMath/mathlib_informal_v4.16.0

Viewer • Updated May 4, 2025 • 188k • 75 • 5