Hacker News new | ask | show | jobs
by aylmao 974 days ago
Lean 4 is a theorem prover, and has nothing to do with LLMs as far as I know though.