KeY Theorem Solving - Abgabe der Löungen
Hier können Sie Ihre Lösungen für das zweite Praxisblatt der Vorlesung online abgeben. Bitte füllen Sie dazu das unten stehende Formular aus.
Bei Problem oder Fragen können Sie sich gerne an Mattias Ulbrich wenden.
Abgeben
Dateiformat
Bitte laden Sie ausschließlich .key.proof-Dateien hoch. Diese Dateien werden automatisch ausgewertet.
Sie können Hinweise gerne im Kommentarfeld dazuschreiben
Sie müssen nicht immer alle Dateien gleichzeitig hochladen, sondern können auch einzelne Lösungen abgeben. Dabei ersetzt die neue Datei Ihre vorangegangene.Falsche Aussage
Geben Sie hier an, welche der Aussagen nicht gilt.Statusbericht
Wenn Sie alle Felder außer Matrikelnummer und Passwort frei lassen, erhalten Sie einen Statusbericht über Ihre bisher eingereichten Daten.Formular
Letzte Änderungen: 09.01.2008 10:16:41