Home

Awesome

Coquedille Build Status

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.