Pre-formalization networks

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.

Showing 0 of 1 under brouwer · all entries