Section: New Results
Coqoon: An IDE for interactive proof development in Coq
Participants : Enrico Tassi, Alexander Faithfull [ITU Copenhagen] , Jesper Bengtson [ITU Copenhagen] , Carst Tankink.
The work of previous years on Coqoon has been published in an international journal [6].