ProofPower
lemma-one.comA suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.