| galletto Checker teoremico semplificato per il web |
Scarica ora |
galletto Classifica e riepilogo
- Sito web dell'editore:
- http://github.com/dcolish/
galletto Tag
galletto Descrizione
Checker teoremico semplificato per il web Cockerel è un pianificatore di lezioni e prover per le classi di matematica. Rubrica Hai coq 8.2pl1 o superiore installato.Cockerel è un pianificatore di lezioni matematiche interattive basato sul web. Permette agli istruttori di creare piani di lezione matematica utilizzando Wiki Markup e quindi assegnarli agli studenti. Questa base di codice sarà estremamente instabile durante l'estate. Se pianifichi di usarlo, inviami un messaggio.instruzioni per l'installazione che desideri eseguire questo software devi avere CoQ> = 8.2pl1 installato. Si prega di consultare il sito di COQ per i dettagli di installazione; http: //coq.inria.fryou deve anche avere Python> = 2.6.5 installato sul tuo sistema. Si prega di consultare la documentazione del progetto per i dettagli di installazione; http://www.python.org/downloadonce Hai soddisfatto queste dipendenze, è possibile continuare con l'installazione. Consiglio vivamente di utilizzare il progetto VirtualENV per la gestione dello spazio dei nomi Python. Supponendo di avere un progetto Python Installa con SetuPools, è possibile creare una nuova virutalenv attorno alla directory del progetto da installare. Questo può essere fatto con: virutalenv some_env_path. Some_env_path / bin / activate easy_install cockerelto avvia cockerel run carerelto avviare coqd run coqdthe cockerel webpage sarà su http: // localhost: 5000 per requisiti predefiniti: · Python.
galletto Software correlato