jashug / FormalizedCompilerAlgorithms

Formalization in Coq of algorithms used in compilers for the Compiler.org project
☆15Updated 6 years ago

Alternatives and similar repositories for FormalizedCompilerAlgorithms:

Users that are interested in FormalizedCompilerAlgorithms are comparing it to the libraries listed below