GitPlanet
All Git Users → jashug

1 open source projects by jashug

[ Open user page on Github ]
1. FormalizedCompilerAlgorithms
Formalization in Coq of algorithms used in compilers for the Compiler.org project
✭ 15
Coq
1-1 of 1 user projects