IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);
Categories
Artificial IntelligenceLicense
GNU General Public License version 2.0 (GPLv2)Follow IsaPlanner Reasoning Tools
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of IsaPlanner Reasoning Tools!