Why Rocq is better than Lean for program verification
By joomy · 2026-07-28 · 2 points · 1 comments
https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
By joomy · 2 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews