google-deepmind / google-deepmind/formal-conjectures
Get problem stats for subdirectories
Open
attributes
enhancement
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 328
Description
It would be nice to collect stats on the categories of the problems formalised and their subject not only for the whole repository, but also for subdirectories, e.g. Wikipedia, ErdosProblems, Arxiv, ...
Contributor guide
Assessment
This issue has not been assessed yet.