Formal Proof Outline Creator

Autoformalization for the working mathematician