olaure01 / yalla

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

Related projects

Alternatives and complementary repositories for yalla