The Coq Proof Assistant Reference Manual June 29, 2010 Version 8.2pl2 1 The Coq Development Team TypiCal Project (formerly LogiCal) 1 This research was partly supported by…