olaure01 / yallaLinks

Yet Another deep embedding of Linear Logic in Coq
16Updated 2 months ago

Alternatives and similar repositories for yalla

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

Sorting: