{"type":"link","version":"1.0","title":"作者以自身在程序验证领域的实践经验… · Why Rocq is better… | HotDaily","description":"作者以自身在程序验证领域的实践经验，从语言层面（余归纳类型与余不动点、嵌套归纳类型）、程序提取、生态系统三个维度，系统比较了 Rocq（Coq…","url":"https://hotdaily.top/item/9e6bb0b5-c15b-4608-9e58-5cf1cb09d29b","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}