Formal Methods

166 readers

3 users here now

founded 1 year ago

MODERATORS

category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work by John Wiegley (github.com)

submitted 1 year ago* (last edited 1 year ago) by demesisx to c/formal_methods

0 comments fedilink hide all child comments

This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here