Famulus Proof
Famulus Proof ist die eine Begründungsbibliothek der Famulus-Werkzeuge: Sie bestimmt den kleinsten Raum möglicher Belege einer Frage, entfaltet das Ziel nach dem Befund und leitet die Antwort aus adressierten Belegen und Regeln ab.
Der Text ist der Anfang der Dokumentation von Famulus Proof.