Examens corriges

tutorial. pdf - Isabelle

This volume is a self-contained introduction to interactive proof in higher- order logic (HOL), using the proof assistant Isabelle.





Télécharger tutorial. pdf - Isabelle pdf