lean_runner

• lean_runner package
  • Subpackages
    • lean_runner.client package
      • Subpackages
      • Submodules
      • lean_runner.client.client module
      • Module contents
    • lean_runner.proof package
      • Submodules
      • lean_runner.proof.proto module
      • Module contents
  • Module contents
    • AsyncLeanClient
      • AsyncLeanClient.close()
      • AsyncLeanClient.get_result()
      • AsyncLeanClient.submit()
      • AsyncLeanClient.verify()
      • AsyncLeanClient.verify_all()
    • LeanClient
      • LeanClient.close()
      • LeanClient.get_result()
      • LeanClient.submit()
      • LeanClient.verify()
      • LeanClient.verify_all()