qed-0.0: Simple prover

qed-0.0: Simple prover

A prototype proof system.

Modules