cartesian-closed-category topic
List
cartesian-closed-category repositories
category-theory
735
Stars
67
Forks
Watchers
An axiom-free formalization of category theory in Coq for personal study and practical work
LambdaCart
26
Stars
3
Forks
Watchers
Lambda syntax for Scala EDSLs