Isabelle/HOL
Subtitle: A Proof Assistant for Higher-Order Logic
Publisher: Springer London, Limited
Published: 2003
Language: eng
Number of pages: 226
ISBN-13: 9783540459491
Subjects: Automatic theorem proving