Open Issues Need Help
View All on GitHub help wanted verification
dannyward630/erdos-848-proof dannyward630/erdos-848-proof Computer-assisted proof and reproducibility package for Erdős Problem 848, with exact certificates and separately implemented checkers.
Open project →
0
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
help wanted verification external-blocker
dannyward630/erdos-848-proof dannyward630/erdos-848-proof Computer-assisted proof and reproducibility package for Erdős Problem 848, with exact certificates and separately implemented checkers.
Open project →
0
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
help wanted verification
dannyward630/erdos-848-proof dannyward630/erdos-848-proof Computer-assisted proof and reproducibility package for Erdős Problem 848, with exact certificates and separately implemented checkers.
Open project →
0
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