Proof of Wolfram's Axiom for Boolean Algebra

Steps in an automated proof of the correctness of Wolfram’s Axiom

Theorem Network from Euclid's Elements

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