This is about Open Proofs

View the Project on GitHub david-a-wheeler/


An “open proof” exists when all required source code, proofs of that source code, and all required tools to verify and update the code and proofs are open source software (OSS).

This enables anyone to legally examine, critique, improve, and collaborate to improve the software and its proofs. In short, open proofs expands the ideas of OSS to high assurance software.

This website explains what open proofs are, and is also intended to (eventually) list examples of open proofs.

See our modification instructions to learn how to contribute to this site!

Here is a very incomplete list of known Open Proofs: