google-deepmind / google-deepmind/formal-conjectures
Sorting of files in docgen4
Open
documentation
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 328
Description
Currently lexicographical sorting is used for the filenames in the docgen4 build, resulting in the Erdősproblems arranged in the order 1,4,10,48,...
Find a way to to sort them by increasing numerical value. (If possible without padding with zeros)
Contributor guide
Assessment
This issue has not been assessed yet.