Subscribe
 


ProofPower








 
ProofPower
A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.

Authored by at , Added: Mar 8, 2004



http://www.lemma-one.com/ProofPower/index/

Unsorted Pool