Popular repositories Loading

1. Rethlas Rethlas Public

   Python 189 37

2. Archon Archon Public

   AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

   Python 165 30

3. jixia jixia Public

   A static analysis tool for Lean 4.

   Lean 125 11

4. Danus Danus Public

   Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

   Python 74 18

5. LeanSearch LeanSearch Public

   Python 57 10

6. FATE FATE Public

   The FATE (Formal Algebra Theorem Evaluation) benchmarks.

   57 3