6 points | by joomy 10 hours ago ago
1 comments
A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.
A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.