Status Report on the Tight Integration of a Scientific Text-Editor and a Proof Assistance System
@inproceedings{AW-07-a, author = {Serge Autexier and Marc Wagner}, booktitle = {Proceedings of the Workshop on Proof Assistants and Types in Education (PATE'07)}, title = {Status Report on the Tight Integration of a Scientific Text-Editor and a Proof Assistance System}, address = {Paris, France}, month = {june}, year = {2007}, }