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},
}