IsaPlanner Reasoning Tools download

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

IsaPlanner screen shot - pinteractive proof tracer

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

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

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

Similar Business Software

New Relic

There are an estimated 25 million engineers in the world across dozens of distinct functions. As every company becomes a software company, engineers are using New Relic to gather real-time insights and trending data about the performance of their software so they can be more resilient and...

See Software
Wrike

Wrike’s powerful work management platform enables distributed teams to collaborate in real-time on complex projects. Our versatile, cloud-based software is trusted by top tech companies across the globe, including Siemens and Fitbit. Wrike’s award-winning features include cross-tagging,...

See Software
Wave Browser

Wave Browser is an efficient, eco-conscious browser that creates a cleaner, more organized, and more meaningful online experience while helping remove ocean plastic through its partnership with 4ocean. Built on the trusted Chromium foundation, Wave Browser brings essential tools directly into...

See Software
Google Cloud BigQuery

BigQuery is a serverless, multicloud data warehouse that simplifies the process of working with all types of data so you can focus on getting valuable business insights quickly. At the core of Google’s data cloud, BigQuery allows you to simplify data integration, cost effectively and securely...

See Software
Frontegg

Frontegg is a Customer Identity and Access Management (CIAM) platform that simplifies authentication, authorization, and user management for SaaS companies. It enables developers to implement advanced identity features quickly, then shift ongoing administration to other teams. With Frontegg,...

See Software
Process Street

Process Street is an AI-powered compliance operations platform that automates complex workflows, enforces standards, and tracks audit data in real time. Teams use it to create structured SOPs, assign tasks, collect data, and monitor execution with intelligent oversight. From onboarding and...

See Software