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.
pedrotst/coquedille
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.