PV6 ProofPowertheorem prover

a suite of tools supporting specification and proof in Higher Order Logic (HOL) and in the Z notation

Type of tool

theorem prover

Internals

implemented in Standard ML

Links

Last commit date

19 June 2017

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.