GitHub - jangroothuijse/SimpleExpressionCompiler: Assignment for the course Type Theory and Coq, a simple expression compiler with correctness proof in Coq.

jangroothuijse / SimpleExpressionCompiler Public

Assignment for the course Type Theory and Coq, a simple expression compiler with correctness proof in Coq.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
jan.index		jan.index
jan.tex		jan.tex
jan.v		jan.v

About

Assignment for the course Type Theory and Coq, a simple expression compiler with correctness proof in Coq.

No releases published

No packages published