GitHub - jnarboux/GCS: Geometric constraint systems in Coq

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Environment.v		Environment.v
GenerateUOT.v		GenerateUOT.v
Makefile		Makefile
Notations.v		Notations.v
README		README
Signature.v		Signature.v
Syntax.v		Syntax.v
generate_makefile.sh		generate_makefile.sh
test.v		test.v

Repository files navigation

Dependencies

This library uses the "First-Class Containters" contribution by Stéphane
Lescuyer, which can be downloaded here:

  http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.3

An introductory article is available here:

  http://studia.complexica.net/Art/RI090103.pdf (en)
  http://jfla.inria.fr/2010/actes/PDF/lescuyer.pdf (fr)