Skip to content

jnarboux/GCS

BranchesTags

Folders and files

NameName
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:https://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.3

An introductory article is available here:

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

About

Geometric constraint systems in Coq

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published