A Document-Oriented Coq Plugin for TeXmacs (2006)

by H Geuvers, L Mamane
Venue:MathUI workshop, MKM 2006 conference, Wokingham, UK, http://www.activemath.org/~paul/ MathUI06/proceedings/CoqTeXMacs.html