Def processDb

Modification history

2024-12-02 15:15

scripts/check-yaml.lean

feat(check-yaml,yaml-check): various small tweaks (#19688) …

Modified processDb View on Github →

2023-07-21 16:03

scripts/checkYaml.lean

feat: port yaml files from mathlib3 (#6026) …

Added processDb View on Github →