Questa è l'app Linux denominata proof-logic la cui ultima versione può essere scaricata come pl-v8.tgz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata proof-logic 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.
logica di prova
Ad
DESCRIZIONE
La logica di dimostrazione è un framework logico funzionale ed equazionale per la dimostrazione di teoremi basato sulla logica combinatoria e sul calcolo lambda, le cui espressioni sono sia termini che dimostrazioni che dimostrano l'uguaglianza tra due termini.
Pubblico
Scienza/ricerca, utenti finali avanzati, sviluppatori
Interfaccia utente
Console/terminale, riga di comando
Linguaggio di programmazione
C, Haskel
Categorie
Questa è un'applicazione che può anche essere recuperata da https://sourceforge.net/projects/proof-logic/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri Sistemi Operativi gratuiti.
