ProofKit Templates
Edit on GitHub
