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.
Ratings and Reviews
Be the first to post a text review of IsaPlanner Reasoning Tools. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
committed revision 2378 to the isaplanner SVN repository, changing 2 files -
Code committed
committed revision 2377 to the isaplanner SVN repository, changing 2 files -
Code committed
committed revision 2376 to the isaplanner SVN repository, changing 2 files -
Code committed
omarmrivas committed revision 2375 to the IsaPlanner Reasoning Tools SVN repository, changing 5 files -
Project Information Updated
-
Code committed
omarmrivas committed revision 2374 to the IsaPlanner Reasoning Tools SVN repository, changing 1 files -
Code committed
omarmrivas committed revision 2373 to the IsaPlanner Reasoning Tools SVN repository, changing 9 files -
Code committed
omarmrivas committed revision 2372 to the IsaPlanner Reasoning Tools SVN repository, changing 3 files -
Code committed
-
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
-
Modelchecking Agent Programming Language
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
-
IsaPlanner Reasoning Tools Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
