{"type":"link","version":"1.0","title":"作者先从 Curry-Howard… · Proving the Fundamental… | HotDaily","description":"作者先从 Curry-Howard 对应构建基础逻辑（⊤、⊥、¬、Σ、_×_、_⊎_ 等），接着定义 ℕ 及配套（noConf 证明构造器互斥且可分解、≟…","url":"https://hotdaily.top/item/17a7a9f2-6366-4023-9814-6c1c48879716","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}