Opening book details…
About this document
Introduction to Isabelle/HOL by tasman is a document available to read on EtoBox.
- Author
- tasman
- Language
- EN
About this book
This document provides an introduction to using the Isabelle proof assistant for interactive proof in higher-order logic. It describes Markus Wenzel
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- English
- Availability
- Checking…