V

verification

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.

Collection of Verification Tasks