OSDN -- Développer et télécharger des logiciels Open Source
Traduction statut du Français translation status for fr

Télécharger des kananaskis-11-developers.pdf (kananaskis-11-developers.pdf ( lien externe: SourceForge.net): 270,101 octets) va bientôt commencer. Sinon, cliquez sur kananaskis-11-developers.pdf ( lien externe: SourceForge.net).

Informations sur le fichier

Taille du fichier
270,101 octets
MD5
3364bf37cce75fd5dbe82327bcc4e78d

Où voulez-vous aller après?

Description du projet

HOL is a system for proving theorems in Higher Order Logic. It
comes with a large variety of existing theories formalising
various parts of mathematics and theoretical computer science.