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].