lean_server package

Subpackages

• lean_server.app package
  • Submodules
  • lean_server.app.args module
    • parse_args()
  • lean_server.app.db module
    • launch_db_router()
  • lean_server.app.lifespan module
    • get_lifespan()
  • lean_server.app.prove module
    • launch_prove_router()
  • lean_server.app.serve module
    • launch()
    • main()
  • lean_server.app.utils module
    • launch_health_router()
  • Module contents
• lean_server.config package
  • Submodules
  • lean_server.config.config module
    • Config
      • Config.host
      • Config.lean
      • Config.logging
      • Config.model_config
      • Config.port
      • Config.sqlite
    • LeanConfig
      • LeanConfig.concurrency
      • LeanConfig.executable
      • LeanConfig.model_config
      • LeanConfig.workspace
    • SQLiteConfig
      • SQLiteConfig.database_path
      • SQLiteConfig.model_config
      • SQLiteConfig.timeout
    • get_config()
  • Module contents
    • Config
      • Config.host
      • Config.lean
      • Config.logging
      • Config.model_config
      • Config.port
      • Config.sqlite
    • get_config()
• lean_server.database package
  • Submodules
  • lean_server.database.proof module
    • ProofDatabase
      • ProofDatabase.sql_path
      • ProofDatabase.timeout
      • ProofDatabase.calc_proof_hash()
      • ProofDatabase.clean_db()
      • ProofDatabase.create_table()
      • ProofDatabase.fetch()
      • ProofDatabase.get_result()
      • ProofDatabase.insert_hash()
      • ProofDatabase.insert_proof()
      • ProofDatabase.proof_exists()
      • ProofDatabase.result_exists()
      • ProofDatabase.update_status()
  • Module contents
• lean_server.manager package
  • Submodules
  • lean_server.manager.proof_manager module
    • ProofManager
      • ProofManager.proof_database
      • ProofManager.lean_semaphore
      • ProofManager.background_tasks
      • ProofManager.get_result()
      • ProofManager.run_proof()
      • ProofManager.submit_proof()
  • Module contents
• lean_server.proof package
  • Submodules
  • lean_server.proof.lean module
    • LeanProof
      • LeanProof.lean_code
      • LeanProof.proof_id
      • LeanProof.config
      • LeanProof.execute()
  • lean_server.proof.proto module
    • LeanProofConfig
      • LeanProofConfig.all_tactics
      • LeanProofConfig.ast
      • LeanProofConfig.memory_limit_mb
      • LeanProofConfig.model_config
      • LeanProofConfig.premises
      • LeanProofConfig.tactics
      • LeanProofConfig.timeout
    • LeanProofResult
      • LeanProofResult.error_message
      • LeanProofResult.model_config
      • LeanProofResult.result
      • LeanProofResult.status
      • LeanProofResult.success
    • LeanProofStatus
      • LeanProofStatus.ERROR
      • LeanProofStatus.FINISHED
      • LeanProofStatus.PENDING
      • LeanProofStatus.RUNNING
  • Module contents

Module contents