Awesome
Coquedille ![Build Status](https://travis-ci.org/pedrotst/coquedille.svg?branch=master)
This project will translate Coq terms into Cedille terms.
This project currently compiles with Coq 8.9.1, with dependencies of metacoq, and coq-ext-lib.
This project will translate Coq terms into Cedille terms.
This project currently compiles with Coq 8.9.1, with dependencies of metacoq, and coq-ext-lib.