|
| LinksPop :: Software :: Open Source :: Projects :: Page 40 |
 Description:
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich; may also serve as framework for rapid prototyping of deductive systems.
|
| Resource Specification | | Site URL: | http://isabelle.in.tum.de | | Sponsors: |
|
| Category: | Software :: Open Source :: Projects :: Projects 40 | | Date Added: | October 23, 2007 01:11:37 AM |
| Number Hits: | 12 | | Link Owner: | Tarsha Stacy | | Page Rank: |
 |
| Alexa Rank: |
14,840 |
| Indexed Pages: |
|
| Backlinks: |
|
Average Visitor Rating:  0.00 (out of 5)
Number of Ratings: 0 Votes
Average Member Rating:  0.00 (out of 5)
Not yet reviewed by any member...
You can be the FIRST one to write a review for Isabelle.
| Other Links by This Member |
|
|
|
|
|
