Def databases

Modification history

2024-12-09 09:39
scripts/check-yaml.lean
feat: add a file tracking results from the 1000+ theorems project (#19634) …
Modified databasesView on Github →
2024-12-02 15:15
scripts/check-yaml.lean
feat(check-yaml,yaml-check): various small tweaks (#19688) …
Modified databasesView on Github →
2024-09-11 18:10
scripts/check-yaml.lean
fix: please the long line linter in check-yaml (#16697) …
Modified databasesView on Github →
2023-07-21 16:03
scripts/checkYaml.lean
feat: port yaml files from mathlib3 (#6026) …
Added databasesView on Github →