Amintimany Categories Save
A formalization of category theory in the Coq proof assistant.
Project README
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.shto produce the Makefile [1] and then -
maketo compile
-
[1] you will need to have coq_makefile to be on the path
Open Source Agenda is not affiliated with "Amintimany Categories" Project. README Source: amintimany/Categories
Stars
92
Open Issues
0
Last Commit
3 years ago
Repository
Open Source Agenda Badge
