ptc

Commits

• 1c6156f: [auto-verifier] verify commit 194f736 (GitHub)
• 4517fef: Remove mod int (#163) (Luke Videckis) #163
• 3954ec9: [auto-verifier] verify commit 4517fef (GitHub)
• 4889e7b: add docs now (Luke Videckis)
• 5be057e: [auto-verifier] verify commit 4889e7b (GitHub)
• 97e9b4b: fix PDF build (Luke Videckis)