Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
OpenA⊢P
OpenA⊢P

Contents

  • Installation
  • User Guides
    • Running a prover
  • Provers
    • Claude Code
    • Codex
    • OpenCode
    • AxProver
    • Vibe / Leanstral
    • NuminaProver
    • AristotleProver
  • Compute Backend
    • Docker
    • Modal
  • API Reference
    • provers
    • lean
    • verify
    • backends
    • harness
Back to top
Copyright © 2026, Henry Robbins
Made with Sphinx and @pradyunsg's Furo