README

This is an implementation of category theory in Coq.

Coq version and compilation

This development uses features new to Coq8.11.1
It has been tested on Debian with Coq 8.11.1
To compile simply type
- ./configure.sh to produce the Makefile [1] and then
- make to compile

[1] you will need to have coq_makefile to be on the path