Hacker News new | ask | show | jobs
by phendrenad2 217 days ago
Correctness and proven correctness are different things. I suspect you're a big Rocq Prover fan.