2016

Conférences Internationales sans actes

• [CP16] P. Courtieu, C. Pit-Claudel. "Company-Coq: Taking Proof General one step closer to a real IDE", CoqPL'16: International Workshop on Coq for Programming Languages, St Petersburgh, United-States, Florida,