Openproofs:About

The OpenProofs site exists to encourage development of open proofs. See the main web page for more information.