Hacker News new | ask | show | jobs
by aspenmartin 17 days ago
We can use things like Lean for math proofs, verification is tractable.