0
I Use This!
Inactive
Analyzed 12 days ago. based on code collected 4 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
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    compare projects before you chose one to use

Languages

Languages?height=75&width=75
OCaml
80%
Java
16%
5 Other
4%

30 Day Summary

Jan 20 2018 — Feb 19 2018

12 Month Summary

Feb 19 2017 — Feb 19 2018

Ratings

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