UnivalencePrinciple / 2LTT-AgdaLinks

Formalization of 2LTT in Agda
15Updated last year

Alternatives and similar repositories for 2LTT-Agda

Users that are interested in 2LTT-Agda are comparing it to the libraries listed below

Sorting: