Hier finden Sie einen Beweis-Checker (Alpha-version!) geschrieben in Prolog. Dieser Beweis-Checker ist in der Vorlesung "Mathematik für Informatiker IIA" von Professor Koepke vorgestellt worden. Bitte melden Sie Fehler oder Bemerkungen an Jip Veldman (veldman at math dot uni-bonn dot de).