mattia-furlan / MasterThesisCTTLinks

Haskell implementation of a version of cubical type theory developed for my master thesis
16Updated 2 years ago

Alternatives and similar repositories for MasterThesisCTT

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

Sorting: