HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalisingvarious parts of mathematics and theoretical computer science.
webertj committed revision 6916 to the HOL theorem-proving system SVN repository, changing 1 files
acjf3 committed revision 6915 to the HOL theorem-proving system SVN repository, changing 1 files
michaeln committed revision 6914 to the HOL theorem-proving system SVN repository, changing 1 files
webertj committed revision 6911 to the HOL theorem-proving system SVN repository, changing 1 files
michaeln committed revision 6910 to the HOL theorem-proving system SVN repository, changing 1 files
michaeln committed revision 6909 to the HOL theorem-proving system SVN repository, changing 5 files
michaeln committed revision 6908 to the HOL theorem-proving system SVN repository, changing 2 files
michaeln committed revision 6907 to the HOL theorem-proving system SVN repository, changing 2 files
michaeln committed revision 6906 to the HOL theorem-proving system SVN repository, changing 64 files
michaeln committed revision 6905 to the HOL theorem-proving system SVN repository, changing 2 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
