Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
Computational_Logic
:
Logical_Frameworks
:
Isabelle
Link Details for:
Isabelle
Link Title:
Isabelle
Link URL:
http://isabelle.informatik.tu-muenchen.de/
Link Details:
Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.
Category:
Top : Science : Math : Logic_and_Foundations : Computational_Logic : Logical_Frameworks
Link Type:
ScreenShot: