Hähnchen Simplified theorem Checker für das Web
Jetzt downloaden

Hähnchen Ranking & Zusammenfassung

Hähnchen Stichworte

mathematisch Planer Lektion Lektionsplaner. Mathematikunterricht

Hähnchen Beschreibung

Vereinfachteter Theorem-Checker für das Web Cockerel ist ein Lektionsplaner und -versuche für Math-Klassen Es ermöglicht den Ausbilder, mathematische Lektionspläne mit Wiki-Markup zu erstellen, und teilen Sie diese den Schülern an. Diese Codebasis wird im Sommer extrem instabil sein. Wenn Sie mit der Verwendung von ET-Senden Sie mir eine Meldung. Bitte sehen Sie sich die COQ-Site für Installationsdetails. http: //coq.inria.Fryou muss auch Python> = 2.6.5 auf Ihrem System installiert haben. Bitte sehen Sie sich die Projektdokumentation für Installationsdetails an. http://www.python.org/downloadonce Sie haben diese Abhängigkeiten zufrieden, Sie können mit der Installation fortgesetzt werden. Ich empfehle dringend, das Projekt virtualenv zum Verwalten des Python-Namespace zu verwenden. Angenommen, Sie haben ein Projekt Python installieren mit setuptools, Sie können ein neues ViruTalenV im Projektverzeichnis erstellen, um installiert zu werden. Dies kann mit: VIRUTALENVY_ENV_PATH erfolgen. Some_env_Path / Bin / Activate Easy_install cockerelto Start Cockerel Run Cockerelto Start CoQd Run CoqdThe Cockerel Webseite wird unter http: // localhost: 5000 Standardanforderungen: · Python

Hähnchen Zugehörige Software