DMCA

structures in Coq (2013)

by Thomas Braibant , Jacques-henri Jourdan , David Monniaux