Program
Verification
Book

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

Project page: http://www.lemma-one.com/ProofPower/index/
Versions: http://www.lemma-one.com/ProofPower/getting/versions/
Last commit date: 19 June 2017

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.