Open Issues Need Help
View All on GitHub External hostile review of the all-N mathematical proof about 3 hours ago
help wanted verification
Computer-assisted proof and reproducibility package for Erdős Problem 848, with exact certificates and separately implemented checkers.
Python
#computer-assisted-proof#erdos#lean4#mathematics#number-theory#reproducible-research
Formal verification: clean ART-006 Lean completion gate about 3 hours ago
help wanted verification
Computer-assisted proof and reproducibility package for Erdős Problem 848, with exact certificates and separately implemented checkers.
Python
#computer-assisted-proof#erdos#lean4#mathematics#number-theory#reproducible-research
Independent verification: fresh six-stage root replay (CD0) about 3 hours ago
help wanted verification
Computer-assisted proof and reproducibility package for Erdős Problem 848, with exact certificates and separately implemented checkers.
Python
#computer-assisted-proof#erdos#lean4#mathematics#number-theory#reproducible-research