Why Rocq is better than Lean for program verification

(joomy.korkutblech.com) by joomy | Jul 28, 2026 | 1 comments on HN