Volume 1
逻辑基础
Benjamin C. Pierce
Arthur Azevedo de Amorim and Chris Casinghino
Marco Gaboardi and Michael Greenberg
Cătălin Hriţcu and Vilhelm Sjöberg
Brent Yorgey
Coq-zh 项目组 译
with
Loris D'Antoni, Andrew W. Appel, Arthur Charguéraud, Michael Clarkson, Anthony Cowley, Jeffrey Foster, Dmitri Garbuzov, Olek Gierczak, Michael Hicks, Ranjit Jhala, Ori Lahav, Greg Morrisett, Jennifer Paykin, Mukund Raghothaman, Chung-chieh Shan, Leonid Spesivtsev, Andrew Tolmach, Philip Wadler, Stephanie Weirich, Li-Yao Xia, and Steve Zdancewic
译者：
Marisa Kirisame, Sebastian Lin, Oling Cat, PL, Hsi Fun, Zeling, Hengruo Zhang, dram, Guannan Wei, Ningning Xie, Hongyi Lu, Hexadecimal exprosic, et al.
阅读
下载

版本 5.7 (2022-03-14 05:33:26 \(UTC+00\), Coq 8.9.1)