Popular repositories Loading

1. Rethlas Rethlas Public

   Python 208 39

2. Archon Archon Public

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

   Python 177 32

3. jixia jixia Public

   A static analysis tool for Lean 4.

   Lean 126 12

4. Danus Danus Public

   Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

   Python 109 26

5. FATE FATE Public

   The FATE (Formal Algebra Theorem Evaluation) benchmarks.

   58 3

6. LeanSearch LeanSearch Public

   Python 57 10