Im diesem Projekt geht es darum Beweisassistenten in die Lehre, auch in die Eingangslehre zu Integrieren. Dafür wählten wir den Beweisassistenten Isabelle und entwickelten des Web-Interface ProofBuddy, sowie einen Einführungskurs zum Lernen Beweise zu führen.

Diese Seite befindet sich im Aufbau. Weitere Informationen folgen.

TFPIE 2023 (Januar)

PROOFBUDDY Acquiring Proof Competence with Friendly Assistance (Extended Abstract)

Vortrag

TFPIE 23 (August)

ProofBuddy: A Proof Assistant for Learning and Monitoring