CoqDoc: a Documentation Tool for Coq, Version 1:05. The Coq Development Team (2003)

by Jean-Christophe Filliatre
Venue:Universit'e Paris VI