Theorem Network from Euclid's Elements

A graph of the theorems from Euclid's Elements and their logical dependencies

General Topology EntityStore

Entity store representing definitions and theorems of point-set topology