packages
[ 原始碼： hol88 ]
套件： hol88-library-source (2.02.19940316-9) [universe]
hol88-library-source 的相關超連結
Ubuntu 的資源：
下載原始碼套件 hol88：
維護者：
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Camm Maguire
It should generally not be necessary for users to contact the original maintainer.
相似套件：
Higher Order Logic, library source files
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.