Modules§
- by_stmt
- Surface syntax for
by …proof statements (one submodule per form). - claim_
stmt - define_
algorithm_ stmt - definition_
stmt - eval_
stmt - know_
stmt - parameter_
def - prove_
stmt - tooling_
stmt - witness_
stmt
by … proof statements (one submodule per form).