# content
Why Rocq is better than Lean for program verification (by joomy) — discussion

#compilers #formalmethods #ml #plt