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

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    search using multiple tags to find exactly what you need
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    check out hot projects on the Open Hub
About Project Security

Languages

Languages?height=75&width=75
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
   Spinner
Review this Project!