Coq Working Groups

Coq developers and users gather once every two months in Paris to discuss ongoing developments.

The next Coq Working Group info.

Latest Coq WG's (in inverse chronogical order)

Past GT Coq's (in chronogical order)

Cocorico: CoqDevelopment (last edited 05-09-2017 14:48:23 by MatthieuSozeau)

Cocorico!WikiLicense