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.
Download HOL theorem-proving system
Project Admins:
michaeln, slind
Operating System:
32-bit MS Windows (NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Win2K, WinXP
License:
BSD License
Category:
Mathematics
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest News
- Kananaskis-4 released 2007-01-02
- Kananaskis-3 released 2006-01-02
- Timing bug in Moscow ML! 2004-01-13
Public Areas
-
Bugs
: (2 open / 59 total)
Bug Tracking System -
Feature Requests
: (11 open / 20 total)
Feature Request Tracking System - Public Forums : (50 messages in 4 forums)
- Mailing Lists : (3 total)
-
SVN Repository
: (352 commits,
1,146 reads)
Browse SVN
Most Active Projects in Category
Project Details
-
Project Admins :
michaeln
, slind - Developers : 25
- Development Status : 6 - Mature
- Intended Audience : Advanced End Users, Science/Research, Other Audience
- License : BSD License
- Operating System : 32-bit MS Windows (NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Win2K, WinXP
- Programming Language : Standard ML
- Topic : Mathematics
- Translations : English
- User Interface : Console/Terminal
- Project UNIX name : hol
- Registered : 2001-07-20 07:42
- Activity Percentile (last week) : 95.28
- View project activity statistics
- View list of RSS feeds available for this project