Institutions in Coq

Ongoing project to formalise the theory of institutions in Coq.

Building

Prerequisites are

Coq 8.16.1
coq-equations 1.3+8.16.1
John Wiegley's category theory development. Modify _CoqProject to point to your copy. (Building this will take a while.)

Run make to build.

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
theories		theories
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
Makefile.conf		Makefile.conf
README.md		README.md
_CoqProject		_CoqProject