0
I Use This!
Inactive
Analyzed 23 minutes ago. based on code collected about 5 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
  • ...
    search using multiple tags to find exactly what you need
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

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

30 Day Summary

Oct 19 2018 — Nov 18 2018

12 Month Summary

Nov 18 2017 — Nov 18 2018

Ratings

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