ziman/ecomp
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
This is a simple certified expression compiler written in Coq as a homework for the Coq & Type Theory course taught at the Radboud Universiteit Nijmegen.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a simple certified expression compiler written in Coq as a homework for the Coq & Type Theory course taught at the Radboud Universiteit Nijmegen.