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