Geeks
jadephilipoom
/
optimizer
Provably optimal low-level programs in Coq
Primary Language
Coq
optimizer GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
No issues in this repository yet.