Why Rocq is better than Lean for program verification (joomy.korkutblech.com) 7 points by joomy 3mo ago ↗ HN
[–] joomy 3mo ago ↗ A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.
1 comment
[ 3.0 ms ] story [ 9.8 ms ] thread