0
I Use This!
Activity Not Available
Analyzed 5 months ago. based on code collected 9 months 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...

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    check out hot projects on the Open Hub
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    search using multiple tags to find exactly what you need
About Project Security

Languages

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

30 Day Summary

Jul 25 2019 — Aug 24 2019

12 Month Summary

Aug 24 2018 — Aug 24 2019

Ratings

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