Cockerel

Verificador Teorema Simplificado para a Web
Baixe Agora

Cockerel Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • BSD License
  • Preço:
  • FREE
  • Nome do editor:
  • Dan Colish
  • Site do editor:
  • http://github.com/dcolish/

Cockerel Tag


Cockerel Descrição

Verificador Teorema Simplificado para a Web Cockerel é um planejador de aula e provador para classes de matemática.Requires que você tem COQ 8.2PL1 ou superior instalado.Cockerel é um planejador de aula matemático interativo na web. Ele permite que os instrutores criem planos de aula matemáticos usando marcação wiki e, em seguida, atribua estes aos alunos. Esta base de códigos será extremamente instável ao longo do verão. Se você planeja usar, envie-me uma mensagem.Instruções para instalar, você gostaria de executar este software que você deve ter COQ> = 8.2pl1 instalado. Por favor, veja o site de COQ para detalhes de instalação; http: //coq.inria.fryou deve também ter Python> = 2.6.5 instalado no seu sistema. Por favor, veja a documentação do projeto para detalhes da instalação; http://www.python.org/downloadOnce Você sofreu essas dependências, você pode continuar com a instalação. Recomendo fortemente o uso do projeto VirtualEnv para gerenciar o namespace Python. Assumindo que você tem um projeto Python Install com SetupTools, você pode criar um novo Virutalenv em torno do diretório do projeto para instalar. Isso pode ser feito com: virutalenv some_env_path. ALGUME_ENV_PATH / BIN / Activate Easy_Install Cockerelto Iniciar Cockerel Run Cockerelto Iniciar Coqd Executar Coqdthe Cockerel Webpage será em http: // localhost: 5000 por requisitos padrão: · Pitão


Cockerel Software Relacionado

Sobre nós