7 ms·Lean 4 is a theorem prover, and has nothing to do with LLMs as far as I know though.by aylmao 3y agoLean 4 is a theorem prover, and has nothing to do with LLMs as far as I know though.