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