H.: A document-oriented Coq plugin for TEXmacs (2007)

by L Mamane, Geuvers
Venue:University of Linz, Austria