tabareau/Cocasse

A library for Gradual Certified Programming in Coq

Coq