3 ms·Have you actually written proofs in Lean with your professional reputation on the line?by whattheheckheck 4mo agoHave you actually written proofs in Lean with your professional reputation on the line?