Math: Logic and Foundations: Software: Isabelle

Home: Math: Logic and Foundations: Software:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Software: Isabelle

URL: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/

Description: A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people