An open API service indexing awesome lists of open source software.

https://github.com/fishilico/inf565-coq-project

Computer Science Project (INF565 course). Lambda calculus compiler proof in Coq
https://github.com/fishilico/inf565-coq-project

Last synced: 2 months ago
JSON representation

Computer Science Project (INF565 course). Lambda calculus compiler proof in Coq

Awesome Lists containing this project