Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Quellcode: hol88  ]

Paket: hol88 (2.02.19940316-15)

Links für hol88

Screenshot

Debian-Ressourcen:

Quellcode-Paket hol88 herunterladen:

Betreuer:

Ähnliche Pakete:

Logik höherer Ordnung - Systemabbild

Das HOL-System ist eine Umgebung für interaktives Beweisen von Theoremen in einer Logik höherer Ordnung. Seine herausragendste Eigenschaft ist seine Programmierbarkeit mit der Meta-Sprache ML. Das System hat eine Vielzahl von Verwendungen von der Formalisierung reiner Mathematik bis zur Überprüfung industrieller Hardware. Weltweit arbeiten akademische und industrielle Einrichtungen mit HOL.

Markierungen: GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu hol88

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

hol88 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 10.840,8 kB60.975,0 kB [Liste der Dateien]
armel 12.107,9 kB54.589,0 kB [Liste der Dateien]
armhf 11.203,9 kB50.877,0 kB [Liste der Dateien]
i386 8.423,5 kB39.577,0 kB [Liste der Dateien]
ia64 9.571,9 kB264.668,0 kB [Liste der Dateien]
kfreebsd-amd64 10.873,6 kB84.101,0 kB [Liste der Dateien]
kfreebsd-i386 8.448,4 kB62.623,0 kB [Liste der Dateien]
mips 8.218,5 kB42.445,0 kB [Liste der Dateien]
mipsel 7.901,7 kB42.849,0 kB [Liste der Dateien]
powerpc 9.252,8 kB49.181,0 kB [Liste der Dateien]
s390 9.772,7 kB41.665,0 kB [Liste der Dateien]
s390x 11.488,1 kB64.083,0 kB [Liste der Dateien]
sparc 5.329,2 kB28.784,0 kB [Liste der Dateien]