Commit 2024-12-09 09:39 93a38c11

View on Github →

feat: add a file tracking results from the 1000+ theorems project (#19634) Add a new file 1000.yaml, tracking the formalisation status of theorems from the 1000+ theorems project. Make check-yaml handle this file also. Future PRs will

  • expose this information on the webpage
  • add infrastructure for synchronising this file with the upstream repository
  • could add an attribute similar to the stacks attribute, and generate this file from the tagging
  • add information on existing formalisation projects in Lean.

Estimated changes

modified def databases