JorisCeulemans / sikkelLinks

Multimode simple type theory as an Agda library.
23Updated 8 months ago

Alternatives and similar repositories for sikkel

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

Sorting: