Content mirrored for search engine indexing from:

https://github.com/coq/coq/wiki/Roadmaps

Why does this service exist?

📅 Last Modified: Sat, 18 Nov 2017 13:24:29 GMT

Roadmaps - coq/coq GitHub Wiki

Former road map for Coq 8.6
Former road map for Coq 8.7

🗂️ Page Index for this GitHub Wiki