Why Rocq is better than Lean for program verification

7 points | by birdculture 11 hours ago