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 →