Why Rocq is better than Lean for program verification

(joomy.korkutblech.com)

2 points | by birdculture 9 hours ago ago