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.
Release Date:
Topic:
Operating System:
License:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of HOL theorem-proving system. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
Rate and Review
Be the first person to add a text review.
Related Projects
-
Sigma
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org
-
-
iAIDA
iAIDA is an implementation in C++ of the AIDA Abstract Interfaces for Data Analysis, a set of interfaces designed for data analysis. Initially designed for use in experimental and theoretical physics, the AIDA interfaces can also be used in other fields.
HOL theorem-proving system Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
