jeune coq vérificateur théorème simplifié pour le web
Télécharger maintenant

jeune coq Classement & Résumé

jeune coq Mots clés

mathématique planificateur cours planificateur de cours cours de mathématiques

jeune coq La description

Checker théorème simplifié pour le Web Cockerel est un planificateur de cours et prouve pour les classes mathématiques.Requires que vous avez CoQ 8.2PL1 ou supérieur installé.Cockerel est un planificateur de cours mathématiques interactif basé sur le Web. Il permet aux instructeurs de créer des plans de cours mathématiques à l'aide de la balise Wiki, puis d'attribuer ces étudiants. Cette base de code sera extrêmement instable au cours de l'été. Si vous envisagez de l'utiliser, envoyez-moi un message.Instructions pour InstallingIf vous souhaitez exécuter ce logiciel, vous devez avoir Coq> = 8.2PL1 installé. Veuillez consulter le site du Coq pour les détails d'installation; http: //coq.inria.fryou doit également avoir Python> = 2.6.5 installé sur votre système. Veuillez consulter la documentation du projet pour les détails de l'installation; http://www.python.org/downloadoince Vous avez satisfait à ces dépendances, vous pouvez continuer l'installation. Je recommande vivement d'utiliser le projet Virtualenv pour la gestion de l'espace de noms Python. En supposant que vous ayez un projet Python Installer avec SetOpTools, vous pouvez créer un nouveau ViruTalenv autour du répertoire de projet à installer. Cela peut être fait avec: ViruTalenv Quelqu'un_env_path. Quelqu'un_env_path / bin / activer easy_install Cockerelto Start Cockerel Run Cockerelto Démarrer CoqD Run CoqDLe Cockerel WebPage sera à http: // localhost: 5000 Par défaut Conditions: · Python

jeune coq Logiciels associés