/SimpleExpressionCompiler

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

Primary LanguageCoq

This repository is not active