Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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