Coqoon - An IDE for Interactive Proof Development in Coq.

Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink

Browse the full TACAS paper archive.