A Coq formal proof of the LaxMilgram theorem.

Sylvie Boldo, Franois Clment, Florian Faissole, Vincent Martin, Micaela Mayero

Browse the full CPP paper archive.