olaure01 / yalla

Yet Another deep embedding of Linear Logic in Coq
14Updated last month

Related projects

Alternatives and complementary repositories for yalla