Coq / GUI communication meeting

Room Orange, INRIA Paris, 3 July 2012, 10:00-13:00

Some notes about the meeting.