verification

Collection of Verification Tasks

Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.