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.
We carried on our experiments with the Coqoon integrated development environment. This lead to a preliminary report submitted for publication [24]