π的构造性三表示定理

# π 的构造性三表示定理 **英文标题**：π：一个由三个独立构造实数组成的机器检查的两对等价三角形的构造性三表示定理 **作者**：王宝军、祖光照、夏挽岚（通讯作者，[email removed]）、曾栢源、周志农、高雪峰 **作者：王宝君、祖光昭、夏万澜、曾伯元、周志农、高学峰。*通讯作者：夏万澜（[email removed]）。* **写作口径声明**：本文全部 Coq 语句逐字取自 ConstructiveWorld 库（473 个在册模块;零公理、Set 层 'sigT' 显式见证、可提取;全库内核级 coqchk 复核通过;库版本 dd02b5e）源文件;未逐字引用的语句以名与... View More