An "open proof" is software or a system where all of the
following are free-libre / open source software (FLOSS): This
site, http://www.openproofs.org, is dedicated to defining and
encouraging the development of open proofs and other publicly-
available proofs of software/system implementations. Open proofs
can aid software developers, tool developers, users, and
teachers. This encouragement includes packaging supporting
tools, coordinating the development of open proofs, and
identifying existing open proofs or the tools to help create
them. Open proofs will encourage the maturation and application
of formal methods. The world depends on having secure, accurate,
and reliable software - but most software isn't. In some
circumstances we need "high confidence" (aka "high assurance")
software built on top of verified software. Verified software,
in this context, is software that has been proved to have or not
have some property using formal methods (formal methods apply
mathematical techniques to prove properties