Metamath Proof Explorer

Table of Contents - 17. GUIDES AND MISCELLANEA

1. Guides (conventions, explanations, and examples)
   1. Conventions
   2. Natural deduction
   3. Natural deduction examples
   4. Definitional examples
   5. Other examples
2. Humor
   1. April Fool's theorem
3. (Future - to be reviewed and classified)
   1. Planar incidence geometry
   2. Aliases kept to prevent broken links