Si tratta dell'app Linux denominata HOL theorem-proving system, la cui ultima versione può essere scaricata come hol-kananaskis-14.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata Sistema di dimostrazione dei teoremi HOL 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.
Sistema di dimostrazione dei teoremi HOL
Ad
DESCRIZIONE
HOL è un sistema per dimostrare teoremi in logica di ordine superiore. Esso
viene fornito con una grande varietà di teorie esistenti formalizzazione
varie parti della matematica e dell'informatica teorica.
Caratteristiche
- Facile programmabilità
- Procedure decisionali sofisticate
- Potenti strumenti di ragionamento
Pubblico
Utenti finali avanzati, altro pubblico, scienza/ricerca
Interfaccia utente
Console/Terminale
Linguaggio di programmazione
ML standard
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/hol/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
