verimath / cat Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Mini Category Theory for F-Algebras

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
src		src
Make		Make
README.md		README.md
configure.sh		configure.sh

Repository files navigation

F-Algebras in Coq

Prerequisites

opam repo add coq-released https://coq.inria.fr/opam/released

Extract

./configure.sh
make

Credits

Maxim Sokhatsky
Denys Stoyanov

OM A HUM

About

Mini Category Theory for F-Algebras

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages