Skip to content

Add lean_solved metric to progress chart #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Copilot wants to merge 8 commits into
base: main
Choose a base branch
from
Draft

Add lean_solved metric to progress chart #2

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
7448f8e
Initial plan
Copilot Dec 4, 2025
c2bf37d
Initial exploration - no changes yet
Copilot Dec 4, 2025
f47b04f
Add lean_solved metric to track formalized proofs in progress chart
Copilot Dec 4, 2025
62595f2
Remove __pycache__ from git tracking
Copilot Dec 4, 2025
9488904
Backfill lean_solved historical data from git history
Copilot Dec 4, 2025
5376955
Fix lean_solved backfill using full git history
Copilot Dec 4, 2025
9bf60ef
Update chart labels and add endpoint value annotations
Copilot Dec 4, 2025
9e5e7b2
Incorporate upstream: add count_solved_lean() and include in lean_sol…
Copilot Dec 4, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
__pycache__/
*.pyc
1 change: 1 addition & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ There are 1109 problems in total, of which
- 97 have been disproved.
- 7 of these disproofs have been formalized in [Lean](https://lean-lang.org/).
- 48 have been otherwise solved.
- 0 of these solutions have been formalized in [Lean](https://lean-lang.org/).
- 4 appear to be open, but cannot be proven from the axioms of ZFC. (not provable)
- 0 appear to be open, but cannot be disproven from the axioms of ZFC. (not disprovable)
- 0 are known to be independent of the ZFC axioms of mathematics. (independent)
Expand Down
651 changes: 326 additions & 325 deletions data/statistics_history.csv
View file
Open in desktop

Large diffs are not rendered by default.

Loading