Agda-Exempel und HOL4-Virtualisierung
Gepostet am 5. Sep 19
von iblech
Anton Lorenzen aus Bonn besucht uns. Er wird über seine Erfahrungen, ein nichttriviales Verifizierungsprojekt in Agda durchzuführen, sprechen.
Zudem wird Makarius ein paar Worte zu Virtualisierung von HOL4 in Isabelle sagen.