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

Place Warranty

Commercial Use

Modify

Distribute

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.

All Licenses

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
  • ...
    data presented on the Open Hub is available through our API
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    you can embed statistics from Open Hub on your site

Languages

Languages?height=75&width=75
OCaml
76%
Scala
13%
TeX/LaTeX
9%
13 Other
2%

30 Day Summary

Mar 27 2018 — Apr 26 2018

12 Month Summary

Apr 26 2017 — Apr 26 2018
  • 2461 Commits
    Down -65 (2%) from previous 12 months
  • 19 Contributors
    Down -3 (13%) 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!