Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
databases
Modification history
2020-09-01 12:58
scripts/yaml_check.lean
feat(docs,ci): move overview, undergrad, and 100 theorems lists from website (#4016) …
Added
databases
View on Github →