Coq / GUI communication meeting
Room Orange, INRIA Paris, 3 July 2012, 10:00-13:00
Some notes about the meeting.
- Pierre Courtieu, the PG/Coq communication
- Pierre Boutillier and Pierre-Marie Pédrot, the CoqIDE/Coq communication
- Pierre Letouzey, the backtracking mechanism used by CoqIDE
- Enrico Tassi, advances in the PA-Coq task of the project
- Makarius Wenzel, Experiments with CoqIDE and PIDE