toutes les options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Paquet source : hol88  ]

Paquet : hol88-library (2.02.19940316-33)

Liens pour hol88-library

Screenshot

Ressources Debian :

Télécharger le paquet source hol88 :

Responsable :

Paquets similaires :

Higher Order Logic, binary library modules

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

Télécharger hol88-library

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 3 025,6 ko26 884,0 ko [liste des fichiers]
arm64 3 033,2 ko27 297,0 ko [liste des fichiers]
armel 2 847,3 ko16 073,0 ko [liste des fichiers]
armhf 2 847,1 ko14 414,0 ko [liste des fichiers]
i386 2 816,5 ko15 774,0 ko [liste des fichiers]
mips 2 891,8 ko17 203,0 ko [liste des fichiers]
mips64el 3 251,9 ko29 125,0 ko [liste des fichiers]
mipsel 3 012,0 ko17 205,0 ko [liste des fichiers]
ppc64el 3 144,7 ko29 429,0 ko [liste des fichiers]
s390x 3 043,7 ko27 675,0 ko [liste des fichiers]