pyk.ktool.prove_rpc module

class ProveRpc(kprove: KProve, explore_context: Callable[[], ContextManager[KCFGExplore]])[source]

Bases: object

prove_rpc(options: ProveOptions) → list[Proof][source]