Section: New Software and Platforms

Coq

Participants : Enrico Tassi, Benjamin Grégoire.

Coq is developed mainly in the project-team $\pi .r^2$ with contributions from many other individuals. Enrico Tassi and Benjamin Grégoire are regular contributors. In particular for 2014, Benjamin Grégoire provided advice on connecting virtual machine execution with other aspects of the Coq system and Enrico Tassi worked on a new interactive mode that supports a document view of the proof script, with faster user experience. Enrico Tassi also worked on improvements for the use of Coq on Windows.