gallo joven Verificador de teorema simplificado para la web
Descargar ahora

gallo joven Clasificación y resumen

gallo joven Etiquetas

matemático planificador lección planificador de lecciones Clases de matemáticas

gallo joven Descripción

Checker teorema simplificado para la web Cockerel es un planificador de lecciones y un Prover para clases de matemáticas. Requires tiene CoQ 8.2PL1 o superior instalado.Cockerel es un planificador de lecciones matemáticas interactivas basadas en la web. Permite a los instructores crear planes de lecciones matemáticas utilizando Wiki Markup y luego asignarlos a los estudiantes. Esta base de código será extremadamente inestable durante el verano. Si planea usarlo, envíeme un mensaje. INSTRUCCIONES DE INSTALACIÓN DE INSTALACIÓN Si desea ejecutar este software, debe tener CoQ> = 8.2PL1 instalado. Consulte el sitio CoQ para los detalles de la instalación; http: //coq.inria.fryou también debe tener Python> = 2.6.5 instalado en su sistema. Consulte la documentación del proyecto para los detalles de instalación; http://www.python.org/downloadoce Ha satisfecho estas dependencias, puede continuar con la instalación. Recomiendo encarecidamente usar el proyecto VirTualEnv para administrar el espacio de nombres de Python. Suponiendo que tiene un proyecto de instalación de Python con setuptOols, puede crear un nuevo virutalenv alrededor del directorio del proyecto para instalar. Esto se puede hacer con: Virutalenv some_env_path. some_env_path / bin / activate Easy_Install CockerelTo Start Cockerel Run CockerelTo Start COQD RUN COQDDTHE Cockerel Web Página Will en http: // localhost: 5000 por predeterminado Requisitos: · Python

gallo joven Software relacionado