Search Results for 'absexists'

absexists published presentations and documents on DocSlides.

Using the Coq theorem prover

by min-jolicoeur

to verify complex data structure invariants. Ken...