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

1
Published 2015
Springer International Publishing
Table of Contents: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”