Isabelle/HOL Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic by Tobias Nipkow
4 ratings, 3.50 average rating, 0 reviews

Isabelle/HOL Quotes Showing 0-0 of 0

All Quotes
Quotes By Tobias Nipkow