|
update
A programming environment in which theorems can be proved and proof tools implemented
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
BSD License
NOT RATED
442
Quality Assurance an...
January 4th, 2011 GMT |
|
NEW
A formal proof management system
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
LGPL
NOT RATED
410
Mathematics
August 11th, 2009 GMT |
|
NEW
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL).
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
GPL
Fair (2.4/5)
429
Mathematics
August 18th, 2006 GMT |
|
NEW
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich.
[read more >]
|
License:
Rating:
Downloads:
Category:
Updated:
|
BSD License
Fair (2.3/5)
647
Mathematics
March 22nd, 2006 GMT |
|
|
Find us on Google+
