Anzeige
Hol-Z
HOL-Z - Proof-Umgebung für z als Plug-In des generischen Satzes des Generikums-Vorsitzes Isabelle / in HOL erstellt ...
Spezifikation importieren Importeur Importspezifikation Proof-Umgebung
Anzeige
HOL-Z - Proof-Umgebung für z als Plug-In des generischen Satzes des Generikums-Vorsitzes Isabelle / in HOL erstellt ...
Spezifikation importieren Importeur Importspezifikation Proof-Umgebung
Über uns