Y
Hacker News
new
|
ask
|
show
|
jobs
Why Rocq is better than Lean for program verification
(
joomy.korkutblech.com
)
7 points
by
joomy
4 days ago
1 comments
joomy
4 days ago
A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.
link