maxsnew / synthetic-domain-theoryLinks

Experiment with synthetic domain theory in cubical agda
14Updated 2 years ago

Alternatives and similar repositories for synthetic-domain-theory

Users that are interested in synthetic-domain-theory are comparing it to the libraries listed below

Sorting: