Ein Angebot von
Einfacher Telnet-Server für Windows, der auf dem telnetd2-Framework basiert
Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst; ermöglicht das Hinzufügen von Propositionen und Beweisen in die freie und …