en | de

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: