Index

A

all_tactics (lean_runner.proof.proto.ProofConfig attribute) ast (lean_runner.proof.proto.ProofConfig attribute)

AsyncLeanClient (class in lean_runner) (class in lean_runner.client.aio.client)

C

close() (lean_runner.AsyncLeanClient method) (lean_runner.client.aio.client.AsyncLeanClient method) (lean_runner.client.client.LeanClient method) (lean_runner.LeanClient method)

E

ERROR (lean_runner.proof.proto.LeanProofStatus attribute)

error_message (lean_runner.proof.proto.ProofResult attribute)

F

FINISHED (lean_runner.proof.proto.LeanProofStatus attribute)

G

get_result() (lean_runner.AsyncLeanClient method) (lean_runner.client.aio.client.AsyncLeanClient method) (lean_runner.client.client.LeanClient method) (lean_runner.LeanClient method)

I

id (lean_runner.proof.proto.Proof attribute)

L

lean_runner module lean_runner.client module lean_runner.client.aio module lean_runner.client.aio.client module

lean_runner.client.client module lean_runner.proof module lean_runner.proof.proto module LeanClient (class in lean_runner) (class in lean_runner.client.client) LeanProofStatus (class in lean_runner.proof.proto)

M

memory_limit_mb (lean_runner.proof.proto.ProofConfig attribute) model_config (lean_runner.proof.proto.Proof attribute) (lean_runner.proof.proto.ProofConfig attribute) (lean_runner.proof.proto.ProofResult attribute) module lean_runner lean_runner.client lean_runner.client.aio lean_runner.client.aio.client lean_runner.client.client lean_runner.proof lean_runner.proof.proto

P

PENDING (lean_runner.proof.proto.LeanProofStatus attribute) premises (lean_runner.proof.proto.ProofConfig attribute)

Proof (class in lean_runner.proof.proto) ProofConfig (class in lean_runner.proof.proto) ProofResult (class in lean_runner.proof.proto)

R

result (lean_runner.proof.proto.ProofResult attribute)

RUNNING (lean_runner.proof.proto.LeanProofStatus attribute)

S

status (lean_runner.proof.proto.ProofResult attribute) submit() (lean_runner.AsyncLeanClient method) (lean_runner.client.aio.client.AsyncLeanClient method) (lean_runner.client.client.LeanClient method) (lean_runner.LeanClient method)

success (lean_runner.proof.proto.ProofResult attribute)

T

tactics (lean_runner.proof.proto.ProofConfig attribute)

timeout (lean_runner.proof.proto.ProofConfig attribute)

V

verify() (lean_runner.AsyncLeanClient method) (lean_runner.client.aio.client.AsyncLeanClient method) (lean_runner.client.client.LeanClient method) (lean_runner.LeanClient method)

verify_all() (lean_runner.AsyncLeanClient method) (lean_runner.client.aio.client.AsyncLeanClient method) (lean_runner.client.client.LeanClient method) (lean_runner.LeanClient method)