Das Web-Interface ProofBuddy basiert auf Isabelle. Es wurde im Projekt Beweisassistenten in der Lehre entwickelt, um Beweisen führen zu lehren und Beweiskompetenz zu entwickeln.

Dieses Seite ist im Aufbau, daher folgen weitere Inhalte.