Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: hol88  ]

Paket: hol88 (2.02.19940316dfsg-5 und andere)

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
  • erweitert

hol88 herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 2.02.19940316dfsg-5+b1 6.179,9 kB69.151,0 kB [Liste der Dateien]
amd64 2.02.19940316dfsg-5+b1 6.624,4 kB59.059,0 kB [Liste der Dateien]
arm64 2.02.19940316dfsg-5+b1 5.942,5 kB66.059,0 kB [Liste der Dateien]
armel 2.02.19940316dfsg-5+b1 5.257,2 kB43.428,0 kB [Liste der Dateien]
armhf 2.02.19940316dfsg-5+b1 5.231,2 kB40.628,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 2.02.19940316dfsg-5+b1 5.915,0 kB53.944,0 kB [Liste der Dateien]
i386 2.02.19940316dfsg-5+b1 5.616,3 kB41.688,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 2.02.19940316dfsg-5+b1 4.432,3 kB41.508,0 kB [Liste der Dateien]
mips64el 2.02.19940316dfsg-5+b1 5.426,8 kB67.359,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 2.02.19940316dfsg-5+b1 5.816,2 kB127.455,0 kB [Liste der Dateien]
ppc64el 2.02.19940316dfsg-5+b1 5.920,0 kB125.791,0 kB [Liste der Dateien]
riscv64 2.02.19940316dfsg-5+b1 6.154,8 kB57.055,0 kB [Liste der Dateien]
s390x 2.02.19940316dfsg-5+b1 6.939,4 kB60.735,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 2.02.19940316dfsg-5+b1 5.640,9 kB38.984,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 2.02.19940316dfsg-5+b1 5.235,4 kB70.439,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 2.02.19940316dfsg-5+b1 6.536,9 kB42.512,0 kB [Liste der Dateien]