Live data from Hacker News

Why Rocq is better than Lean for program verification

joomy.korkutblech.com

Post reply on HN

Print view View original

1–2 of 2 posts

Why Rocq is better than Lean for program verification

#1

Post by joomy » Tue, Jul 28, 2026, 9:16 PM UTC

Why Rocq is better than Lean for program verification
joomy.korkutblech.com

Re: Why Rocq is better than Lean for program verification

#2

Post by joomy » Tue, Jul 28, 2026, 9:16 PM UTC

A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.

Post reply on HN