FormalizedCompilerAlgorithms icon indicating copy to clipboard operation
FormalizedCompilerAlgorithms copied to clipboard

verified publisher icon jashug
→

Metadata

Formalization in Coq of algorithms used in compilers for the Compiler.org project

Coq code for the compiler.org project.

Compile by

coq_makefile -f _CoqProject -o Makefile
make

Using Coq master 2a7992f75.

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon jashug

Metadata

Formalization in Coq of algorithms used in compilers for the Compiler.org project

Back