Michael Meyling

Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst; ermöglicht das Hinzufügen von Propositionen und Beweisen in die freie und …

Simuliert die Bewegung von Sternen; dynamische Ansicht eines Sternenfelds durch Bewegung des Beobachters und durch die gravitationsbedingten Sternbewegungen

Einfacher Telnet-Server für Windows, der auf dem telnetd2-Framework basiert