Math theory

This table of contents references mathematical theories implemented using punctilious.

Table of contents

• MGZ 2021
  • Minimal logic
  • Intuitionistic logic
  • Classical logic
• Tao 2006
  • The Peano axioms