2 ms·Correctness and proven correctness are different things. I suspect you're a big Rocq Prover fan.by phendrenad2 1y agoCorrectness and proven correctness are different things. I suspect you're a big Rocq Prover fan.