herbelin / corn Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Home Page: http://c-corn.github.io/
License: GNU General Public License v2.0