mietek / imla2017Links

Agda formalisation of NbE for λ□
18Updated 7 years ago

Alternatives and similar repositories for imla2017

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

Sorting: