The Coq development working groups

Organization

Latest Coq WG's, ADT meetings and Users/Developers meetings (in inverse chronological order)

Past roadmap for version 8.4

Roadmap for version 8.5

The future of Coq

In the longer term, we plan to investigate

Under consideration are

Miscellaneous

Cocorico: CoqDevelopment/Public (last edited 14-12-2016 13:07:23 by HugoHerbelin)

Cocorico!WikiLicense