Advanced Search Tips

Isabelle

Submitted by on Dec 15 2014 Suggest Revision
From: Computer Laboratory, University of Cambridge
Paper:
Resource Type:
Code
License:
BSD License
Language:
Data Format:

Description

Isabelle is a popular interactive theorem prover. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. While relevant to AI it is most widely used by a formal methods context for the specification, development and verification of hardware and software systems.
Categorized in: Logic & Formal Reasoning
Post comment
Cancel