Mathlib v3 is deprecated. Go to Mathlib v4

Def fails

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 failsView on Github →