Mathlib Informal Datasets - a adeo1 Collection

adeo1 's Collections

Mathlib Informal Datasets

Mathlib Informal Datasets

updated 3 days ago

Versioned Mathlib declaration datasets with informal descriptions.

adeo1/mathlib_informal_v4.9.0

Viewer • Updated Nov 9, 2025 • 168k • 16 • 1

Note Lean/mathlib v4.9.0. Older 9-column informal enrichment schema.
adeo1/mathlib_informal_v4.15.0

Viewer • Updated 3 days ago • 170k • 15

Note Lean/mathlib v4.15.0. 18-column retrieval schema aligned with v4.28.0.
adeo1/mathlib_informal_v4.24.0

Viewer • Updated 3 days ago • 190k • 15

Note Lean/mathlib v4.24.0. 18-column retrieval schema aligned with v4.28.0.
adeo1/mathlib_informal_v4.28.0

Viewer • Updated Apr 16 • 183k • 32 • 1

Note Lean/mathlib v4.28.0. 18-column retrieval schema reference.