Ekdohibs / PolyGen

PolyGen is a code generator for the polyhedral model, written and proved in Coq.
10Updated 4 years ago

Related projects

Alternatives and complementary repositories for PolyGen