4 ms·It gets really bad when you're using "Hoare Logic" in "Coq"by davemp 9y agoIt gets really bad when you're using "Hoare Logic" in "Coq"