3 ms·Theorem proving like lean4. Ie programs that aren't about state manipulationby yCombLinks 3y agoTheorem proving like lean4. Ie programs that aren't about state manipulation