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