- Home
- Science
- Mathematics
- ProofPower
Science · Mathematics
ProofPower
Listed in the directory · updated 23 Jul 2022
About ProofPower
ProofPower- A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
Science · Mathematics
Listed in the directory · updated 23 Jul 2022
ProofPower- A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.