3 ms·Why Rocq is better than Lean for program verification7 points by joomy 2mo agojoomy 2mo agoA write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.