Contents
Index

qed-0.0: Simple prover

qed-0.0: Simple prover

A prototype proof system.

Modules

Proof
- Proof.QED
  - Proof.QED.Internal

Produced by Haddock version 2.16.1