Mathlib Informal Datasets Versioned Mathlib declaration datasets with informal descriptions. adeo1/mathlib_informal_v4.9.0 Viewer • Updated Nov 9, 2025 • 168k • 31 • 1 adeo1/mathlib_informal_v4.15.0 Viewer • Updated May 25 • 170k • 43 adeo1/mathlib_informal_v4.24.0 Viewer • Updated May 25 • 190k • 30 adeo1/mathlib_informal_v4.28.0 Viewer • Updated Apr 16 • 183k • 36 • 1
Mathlib Informal Datasets Versioned Mathlib declaration datasets with informal descriptions. adeo1/mathlib_informal_v4.9.0 Viewer • Updated Nov 9, 2025 • 168k • 31 • 1 adeo1/mathlib_informal_v4.15.0 Viewer • Updated May 25 • 170k • 43 adeo1/mathlib_informal_v4.24.0 Viewer • Updated May 25 • 190k • 30 adeo1/mathlib_informal_v4.28.0 Viewer • Updated Apr 16 • 183k • 36 • 1
