/Faculty-PLP

Syntax, Semantics and Compiler for a conceptual programming language, along with a compiler, written and verified in Coq.

Primary LanguageCoq

No issues in this repository yet.