coquedille icon indicating copy to clipboard operation
coquedille copied to clipboard

verified publisher icon pedrotst
→

Metadata

A Coq to Cedille compiler written in Coq

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.

← Metadata

33
Stars
2
Forks
Watchers

Owner

verified publisher icon pedrotst

Metadata

A Coq to Cedille compiler written in Coq

Back