tabareau / Cocasse

A library for Gradual Certified Programming in Coq
9Updated 9 years ago

Related projects

Alternatives and complementary repositories for Cocasse