Title: Two Tools for Formalizing Mathematical Proofs