google-deepmind / google-deepmind/formal-conjectures
extract_names script should handle multiple `formal_proof`
Open
CI
website
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 327
Description
currently there is a silent assumption that there is just one, should be a list, perhaps list of pairs (proofKind, proofLink) or something like this...
Contributor guide
Assessment
This issue has not been assessed yet.