About TheoremDep

TheoremDep contains many theorems and shows you the dependencies for each theorem. Theorem X is said to be dependent on theorem Y iff Y is used as a lemma in the proof of X. Therefore, this website presents proofs in a way which simultaneously achieves the goals of not assuming any prior knowledge and making it easy to skip parts you already know.

TheoremDep is generated using ConcepDAG. ConcepDAG is a tool to visualize dependencies between things in the form of a static website.

If you want to contribute, check out the source code of these projects:

• TheoremDep
• ConcepDAG

You may also be interested in these other similar projects:

• Metacademy
• ProofWiki
• Metamath