수평아리 웹에 대한 간소화 된 이론 검사기
지금 다운로드

수평아리 순위 및 요약

수평아리 태그

매우 정확한 입안자 수업 수업 계획자 수학 수업

수평아리 설명

웹을위한 간소화 된 이론 검사기 Cockerel은 수학 수업을위한 수업 플래너이며 수학 수업을위한 프로 판사입니다. 귀하는 CoQ 8.2PL1 이상이 설치되어 있습니다. cockerel은 웹 기반 대화 형 수학 수업 계획자입니다. 강사가 Wiki Markup을 사용하여 수학 수업 계획을 만들고 학생들에게 할당 할 수 있습니다.이 코드 기반은 여름에 매우 불안정합니다. 사용을 계획하는 경우 나에게 message.Instructions installingif를 사용 하여이 소프트웨어를 실행하려는이 소프트웨어를 실행하려면 Coq> = 8.2PL1이 설치되어 있어야합니다. 설치 세부 사항은 CoQ 사이트를 참조하십시오. http : //coq.inria.fryou에는 시스템에 python> = 2.6.5가 설치되어 있어야합니다. 설치 세부 사항은 프로젝트 설명서를 참조하십시오. http://www.python.org/downloadonce 이러한 종속성을 만족 시켰습니다. 설치를 계속할 수 있습니다. Python 네임 스페이스를 관리하기 위해 VirtualEnV 프로젝트를 사용하여 강력히 권장합니다. SetupTools를 사용하여 Project Python 설치가있는 경우 설치할 프로젝트 디렉토리 주위에 새 VirutalEnv를 만들 수 있습니다. 이것은 다음과 같이 수행 할 수 있습니다 : virutalenv some_env_path. some_env_path / bin / easy_install cockerelto 시작 cockerel 실행 cockerel cockerelto coqd 실행 coqd coqd the cockerel 웹 페이지는 http : // localhost : 5000 기본적으로 요구 사항 : · 파이썬

수평아리 관련 소프트웨어