proof-certificates

Here are 2 public repositories matching this topic...

Atomicium-org / graham-rearrangement-certificates

Executable certificate framework for a proof candidate of Graham’s rearrangement conjecture / Erdős #475, with local branch checkers and reproducible audit scripts.

python latex reproducible-research open-science combinatorics computer-assisted-proof additive-combinatorics erdos-475 graham-conjecture proof-certificates mathematical-verification

Updated May 4, 2026
TeX

antonioclim / pareto-support-proofs

Star

Exact proof objects and standalone verification for weighted-sum supportability and unsupportedness in finite multi-objective optimisation.

python reproducible-research multi-objective-optimisation exact-arithmetic proof-certificates pareto-optimisation

Updated Jun 24, 2026
Python

Improve this page

Add a description, image, and links to the proof-certificates topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-certificates topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly