Joshua Marsh

• Two Tools for Formalizing Mathematical Proofs