Browse ProofWiki mathematical proofs, theorems, and definitions as structured records - View it on GitHub