2
I Use This!
Activity Not Available
Analyzed over 2 years ago. based on code collected over 2 years ago.

Project Summary

Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and Technical University of Munich (Tobias Nipkow).

Tags

logic math proof

BSD 3-clause "New" or "Revised" License
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

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
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    anyone with an Open Hub account can update a project's tags
About Project Security

Languages

OCaml
75%
Scala
13%
TeX/LaTeX
8%
14 Other
4%

30 Day Summary

Feb 25 2020 — Mar 26 2020

12 Month Summary

Mar 26 2019 — Mar 26 2020
  • 1611 Commits
    Down -422 (20%) from previous 12 months
  • 14 Contributors
    Down -4 (22%) from previous 12 months

Ratings

1 user rates this project:
5.0
 
5.0/5.0
Click to add your rating
  
Review this Project!