adeo1/mathlib_informal_v4.9.0
Viewer • Updated • 168k • 16 • 1
Versioned Mathlib declaration datasets with informal descriptions.
Note Lean/mathlib v4.9.0. Older 9-column informal enrichment schema.
Note Lean/mathlib v4.15.0. 18-column retrieval schema aligned with v4.28.0.
Note Lean/mathlib v4.24.0. 18-column retrieval schema aligned with v4.28.0.
Note Lean/mathlib v4.28.0. 18-column retrieval schema reference.