haan

Vereenvoudigde stellingcontrole voor het web
Download nu

haan Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • BSD License
  • Prijs:
  • FREE
  • Naam uitgever:
  • Dan Colish
  • Uitgever website:
  • http://github.com/dcolish/

haan Tags


haan Beschrijving

Vereenvoudigde Theorem Checker voor het web Cockerel is een lesplanner en Prover voor Math Classes.Ekstrekt u CoQ 8.2Pl1 of hoger geïnstalleerd.cockerel is een webgebaseerde interactieve wiskundige lesplanner. Hiermee kunnen instructeurs wiskundige lesplannen maken met behulp van Wiki-markeringen en vervolgens toewijzen aan studenten. Deze codebasis zal in de zomer extreem onstabiel zijn. Als u van plan bent om het te gebruiken, stuur me een bericht ..instructies voor het installeren als u deze software wilt uitvoeren, moet u CoQ> = 8.2PL1 hebben geïnstalleerd. Zie de CoQ-site voor installatiedetails; http: //coq.inria.fryou Moet ook Python> = 2.6.5 hebben geïnstalleerd op uw systeem. Zie de projectdocumentatie voor installatiedetails; http://www.python.org/downloadonce U hebt deze afhankelijkheden verzaderd, u kunt doorgaan met de installatie. Ik raad ten zeerste aan het VIRUALENV-project te gebruiken voor het beheren van de Python-naamruimte. Ervan uitgaande dat u een project Python installeert met SetUptools, kunt u een nieuwe VirutalenV maken rond de projectdirectory om in te installeren. Dit kan worden gedaan met: VIRUTALENV SOM_ENV_PATH. Sommige_NV_Path / Bin / Activate Easy_Install CockerElto Start Cockerel Run Cockerelto Start Coqd Run CoqdDe Cockerel-webpagina is op http: // localhost: 5000 door standaardvereisten: · Python


haan Gerelateerde software

Over ons