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, Hexadecimal exprosic, et al.

版本 5.7 (2020年1月20日, Coq 8.9.1)