Open Proof Network

Field notes

Open Proof Network organizes formal mathematics as a graph rather than a conventional list of papers or claims. Its records distinguish targets, immutable statements, proof attestations, frontiers, refuted routes, and variants, with the homepage exposing the source JSON files and commit identifier behind the rendered view. At the observed commit, the network remains very small: one target and one proved node, with no frontier nodes or resolved variants. The site describes its public surface as read-only and rebuilt after each merge.