Benjamin C. Pierce
Arthur Azevedo de Amorim
Chris Casinghino
Marco Gaboardi
Michael Greenberg
Cătălin Hriţcu
Vilhelm Sjöberg
Brent Yorgey

Coq-zh 项目组
with
Loris D'Antoni, Andrew W. Appel, Arthur Charguéraud, Anthony Cowley, Jeffrey Foster, Dmitri Garbuzov, Olek Gierczak, Michael Hicks, Ranjit Jhala, 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, etc.

版本 5.7 (19 Jul 2019, Coq 8.8.1)