HarrisonGrodin / agda-calfLinks

A cost-aware logical framework, embedded in Agda.
61Updated this week

Alternatives and similar repositories for agda-calf

Users that are interested in agda-calf are comparing it to the libraries listed below

Sorting: