Tobias Nipkow

Isabelle/HOL

《Isabelle/HOL》内容简介：This textbook-like tutorial is a self-contained introduction to interactive proof

Tobias Nipkow