Why Rocq is better than Lean for program verification (by joomy) — discussion
#compilers #formalmethods #ml #plt
