3 ms·These days you can have math and real computation; proving theorems through reducing terms in Leanby vatsachak 11mo agoThese days you can have math and real computation; proving theorems through reducing terms in Lean