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

Project Summary

The inductive theorem prover for Haskell

Tags

No tags have been added

Badges

In a Nutshell, hipspec...

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...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    data presented on the Open Hub is available through our API
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    compare projects before you chose one to use
About Project Security

Languages

Haskell
90%
TeX/LaTeX
7%
7 Other
3%

30 Day Summary

Feb 14 2026 — Mar 16 2026

12 Month Summary

Mar 16 2025 — Mar 16 2026