Si tratta dell'app Linux denominata The GraPE Graphical Proof Editor, eseguibile online su Linux. La sua ultima versione può essere scaricata come grape-0.9.4.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata The GraPE Graphical Proof Editor per eseguirla gratuitamente online su Linux con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
IMMAGINI
Ad
L'editor grafico di prove GraPE da eseguire online su Linux
DESCRIZIONE
Uno strumento per i teorici della dimostrazione per studiare i sistemi di deduzione e sviluppare strategie di ricerca di prove per essi. GraPE dovrebbe supportare la costruzione di prove passo dopo passo, la ricerca automatica di prove con diverse strategie, le trasformazioni e l'analisi delle prove.Pubblico
Utenti finali avanzati, istruzione, scienza/ricerca
Interfaccia utente
Altalena Java
Linguaggio di programmazione
Java
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/grape/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.