en
|
de
Institut für Informatik
Universität Innsbruck
Home
Forschung
Lehre
Mitarbeiter
Veranstaltungen
Neuigkeiten
Lehre
Lehrveranstaltungen
Bachelorprojekte
Masterprojekte
Software
Interaktives Beweisen in Isabelle/HOL
Einführung
Feedback
Folien
Evaluation
Proseminar
Interaktives Beweisen in Isabelle/HOL
Masterstudium
VU3 SS 2022
703315
Feedback
Von hier können Sie anonymes Feedback versenden. 'Anonym' bedeutet, dass wir den Absender der Nachricht nicht erkennen können – verwenden Sie deshalb das Feedback
nicht
um Fragen zu stellen auf die Sie eine persönliche Antwort erwarten.
nochmal
Code: