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

Coq-zh 项目组
with
Loris D'Antoni, Andrew W. Appel, Arthur Chargueraud, Michael Clarkson, Anthony Cowley, Jeffrey Foster, Dmitri Garbuzov, Michael Hicks, Ranjit Jhala, Ori Lahav, Greg Morrisett, Jennifer Paykin, Mukund Raghothaman, Chung-Chieh Shan, Leonid Spesivtsev, Philip Wadler, Stephanie Weirich, Li-Yao Xia, and Steve Zdancewic

译者:
Hexadecimal, Guannan Wei, Ningning Xie, Sebastian Lin, Oling Cat, exprosic, et al.

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