Search Results for 'proof coq'

proof coq published presentations and documents on DocSlides.

by briana-ranney

the refinement . algebra. Vlad. . Shcherbina. Il...

by luanne-stotts

A Retrospection. &. Applications of Formal Me...

by sherrill-nordquist

Greg Morrisett. Goal. Understand how to build mod...

by ellena-manuel

Kenneth Roe. 6. /01/2015. The Johns Hopkins Unive...