Ebók

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Tobias Nipkow; Lawrence C. Paulson; Markus Wenzel

Springer Nature