Integrate version 1 proofs
- Restructure program.
- Integrate version 1 proofs.
- Implement proof verification via
verify
subcommand. - Implement proof derivation via
derive
subcommand. - Add manual proof verification instructions via
manual-verify
subcommand.
Edited by Benjamin Herman