FrenzyMath

Popular repositories Loading

1. Rethlas Rethlas Public

   Python 273 43

2. Archon Archon Public

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

   Python 193 34

3. Danus Danus Public

   Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

   Python 163 35

4. jixia jixia Public

   A static analysis tool for Lean 4.

   Lean 127 13

5. LeanSearch LeanSearch Public

   Python 58 10

6. FATE FATE Public

   The FATE (Formal Algebra Theorem Evaluation) benchmarks.

   58 3