21:16
2026-07-28
joomy.korkutblech.com
developer-tools
Why Rocq is better than Lean for program verification
Rocq is better than Lean for program verification, according to a LangSec keynote slide by an unnamed author, because Rocq natively supports executable coinductive types and cofixpoints in Type, while…