3 ms·Lean is just the language, Presumably to drive the AI towards the program (“the proof”)by xrisk 2y agoLean is just the language, Presumably to drive the AI towards the program (“the proof”)