the proof reviews and downloads
Search results for «the proof»:
Showing 1 to 10 from 10 matches
|
Isabelle 2005 Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich BSD License |
|
GeoProof svn2006-08-24 GeoProof project is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to GPL (GNU General Public License) |
|
Emnu, new menu for KDE(proof of concept) 0.1 GPL (GNU General Public License) |
|
aspell-da 1.6.0 aspell-da is an aspell dictionary for spell-checking Danish texts GPL (GNU General Public License) |
|
HOL 3 HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built- BSD License |
|
IsaMorph 0.9 IsaMorph is a linux distribution Live CD (based on Morphix) featuring the interactive theorem prover Isabelle. This means, you can b GPL (GNU General Public License) |
|
ispell-da 1.6.0 ispell-da is an ispell dictionary for spell-checking of Danish texts GPL (GNU General Public License) |
|
ssh-smart 0.0.1 ssh-smart is a really small software (a proof-of-concept) to put private identity from ssh on smartcard (memory card)). For the mo GPL (GNU General Public License) |
|
The Comprehensive Danish Dictionary 1.6.0 The Comprehensive Danish Dictionary is a word list for spell checking of Danish texts. The Comprehensive Danish Dictionary (DSDO) GPL (GNU General Public License) |
|
ACASUserFolder 2.0.2 ACASUserFolder is a User Folder implementing the Yale CAS Single Sign On (SSO) Authentication method. It aims are interoperability, ZPL (Zope Public License) |
Related: