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);

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow IsaPlanner Reasoning Tools

IsaPlanner Reasoning Tools Web Site

Other Useful Business Software
Gemini 3 and 200+ AI Models on One Platform Icon
Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of IsaPlanner Reasoning Tools!

Additional Project Details

Languages

English

Intended Audience

Science/Research

User Interface

Java Swing

Programming Language

Java, Standard ML

Related Categories

Standard ML Artificial Intelligence Software, Java Artificial Intelligence Software

Registered

2003-06-11