ToposInstitute / polyttLinks

A type theory with native support for Polynomial Functors.
39Updated 2 years ago

Alternatives and similar repositories for polytt

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

Sorting: