Axiomatic-AI

Popular repositories Loading

1. ax-prover-base ax-prover-base Public

   A Minimal Agent for Automated Theorem Proving

   Python 55 12

2. AxQM AxQM Public

   AxQM — a proof-synthesis benchmark for quantum computing and quantum information, from Nielsen & Chuang, in Lean 4

   13 1

3. axiomatic-python-sdk axiomatic-python-sdk Public

   A Python SDK for accessing the Axiomatic API

   Python 4

4. lean-qkd lean-qkd Public

   Lean blueprint a result in quantum key distribution

   Lean 3

5. lean-branch-number lean-branch-number Public

   Contains lean blueprint for a result on branch numbers.

   Lean 2

6. ax-prover-base-mcp ax-prover-base-mcp Public

   An MCP for Lean4 code building and automated proving. Sign up on our website

   1