Just to help me understand some of the concepts of category theory, I've modeled some of the starter-concepts in Coq and done some simple proofs.
-
Notifications
You must be signed in to change notification settings - Fork 0
adamschoenemann/coqcats
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Simple category theory modeled in Coq (just for fun and to learn)
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published