Science Central - All about Science

Monday, 23 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Software UPDATE URL | REPORT BROKEN LINK

Isabelle

 Popularity:    Hit: 253 | Visit: 21
Details
A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
LWB (Popularity: ): Logics Workbench.
PROTEIN (Popularity: ): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ...
Database of Existing Mechanized Reasoning Systems (Popularity: ): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and ...
Automated Reasoning Project (Popularity: ): Web resource provided by research group. Includes access to software developed by the team, coverering ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
MUltlog (Popularity: ): Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, ...
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.
ProofPower (Popularity: ): A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in ...

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact