Search alternatives:
"prover" » "proven", "proved", "proves"
Cover Image
Read Now

1
by Breitner, Joachim
Published 2016
KIT Scientific Publishing
“... program performance; the proof is machine-checked using the interactive theorem prover Isabelle...”