Dit is de Linux-app genaamd Archive of Formal Proofs om online in Linux te draaien waarvan de nieuwste release kan worden gedownload als afp-2019-08-19.tar.gz. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download deze app met de naam Archive of Formal Proofs en voer deze online uit om gratis in Linux online met OnWorks te draaien.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
Archief van formele bewijzen om online in Linux te draaien
PRODUCTBESCHRIJVING
Het archief van formele bewijzen is een verzameling bewijsbibliotheken, voorbeelden en grotere wetenschappelijke ontwikkelingen, mechanisch gecontroleerd in de stellingbewijzer Isabelle. Het is georganiseerd in de vorm van een wetenschappelijk tijdschrift. Inzendingen worden beoordeeld.Toehoorders
Science / Research
Gebruikersinterface
X Window-systeem (X11)
Programmeertaal
OCaml (Objective Caml), Haskell, Standaard ML
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/afp/. Het is gehost in OnWorks om op een gemakkelijkste manier online te kunnen worden uitgevoerd vanuit een van onze gratis besturingssystemen.