conal / felixLinks

Agda category theory library for denotational design
51Updated 11 months ago

Alternatives and similar repositories for felix

Users that are interested in felix are comparing it to the libraries listed below

Sorting: