Top 91 isabelle attali PDF Book Page 4

book image

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)
·231 Pages
·2002
·0.805 MB

book image

Isabelle Mayet - 02 - Un parfum de soufre

Sylvain Forge
·2015
·0.3345 MB