ProofPower

ProofPower
All Links

Share this:

Details of ProofPower

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