0
I Use This!
Activity Not Available
Analyzed about 1 month ago. based on code collected 9 months ago.

Project Summary

IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; a reasoner for quantum computation (quantomatic); and various libraries.

Tags

No tags have been added

In a Nutshell, IsaPlanner Reasoning Tools...

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
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can embed statistics from Open Hub on your site

Languages

Languages?height=75&width=75
OCaml
93%
8 Other
7%

30 Day Summary

Feb 8 2017 — Mar 10 2017

12 Month Summary

Mar 10 2016 — Mar 10 2017

Ratings

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