2 ms·Wow. Can't wait for the lean theorem prover integration.by AntonioCao 4y agoWow. Can't wait for the lean theorem prover integration.jsmorph 4y agoSame. Maybe a GPT-driven super-tactic.