[electrozav]

There's a massive corpus of useful math proofs, just most of them have been implemented and are second nature now