Preformalized

Mathematics submitted as a network of statements rather than as a document: every definition, lemma and theorem is a node, and every use of one by another is an edge. Each entry opens into the network itself.