Questa è l'app Linux denominata Archive of Formal Proofs, eseguibile online su Linux, la cui ultima versione può essere scaricata come afp-2019-08-19.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata Archive of Formal Proofs per eseguirla gratuitamente su Linux online 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
Archivio di dimostrazioni formali da eseguire online su Linux
DESCRIZIONE
L'Archivio delle prove formali è una raccolta di librerie di prove, esempi e sviluppi scientifici più ampi, verificati meccanicamente nel dimostratore di teoremi Isabelle. È organizzato come una rivista scientifica. Le candidature sono arbitrate.Pubblico
Scienza / Ricerca
Interfaccia utente
Sistema X Window (X11)
Linguaggio di programmazione
OCaml (obiettivo Caml), Haskell, Standard ML
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/afp/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
