aspiwack / coq Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq/coq
When I have branches to Coq they appear here. But most of the time, this repository is out of sync.
Home Page: http://coq.inria.fr/
License: GNU Lesser General Public License v2.1