0
I Use This!
Inactive
Analyzed about 11 hours ago. based on code collected about 11 hours ago.

Project Summary

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

Tags

c++ logic mathematics

In a Nutshell, HOL theorem-proving system...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Languages?height=75&width=75
TeX/LaTeX
43%
OCaml
31%
C
12%
10 Other
14%

30 Day Summary

May 22 2018 — Jun 21 2018

12 Month Summary

Jun 21 2017 — Jun 21 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!