A Free Mathematical and Computational Software Directory

ProofPower

A suite of tools supporting specification and proof in Higher Order Logic and in the Z notation

Tags: logic, Z notation, higher-order logic, automated theorem proving.

Homepage: http://lemma-one.com/ProofPower/