TeXmacs as authoring tool for publication and dissemination of formal developments (2003)

by P Audebaud, L Rideau
Venue:In Proceedings of the User Interfaces for Theorem Provers Workshop, UITP 2003, volume 103 of ENTCS