Skip to content
@frenzymath

FrenzyMath

Popular repositories Loading

  1. Danus Danus Public

    Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    Python 467 65

  2. Rethlas Rethlas Public

    Python 342 52

  3. Archon Archon Public

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

    Python 221 35

  4. jixia jixia Public

    A static analysis tool for Lean 4.

    Lean 131 13

  5. LeanSearch LeanSearch Public

    Python 61 11

  6. FATE FATE Public

    The FATE (Formal Algebra Theorem Evaluation) benchmarks.

    60 3

Repositories

Showing 10 of 51 repositories
  • SHEAF Public
    frenzymath/SHEAF's past year of commit activity
    Python 3 0 0 0 Updated Oct 2, 2026
  • MiyaokaMori-CharZero Public
    frenzymath/MiyaokaMori-CharZero's past year of commit activity
    Lean 3 Apache-2.0 0 0 0 Updated Sep 29, 2026
  • Poincare-Conjecture Public

    Formalizing the Poincaré Conjecture in Lean 4

    frenzymath/Poincare-Conjecture's past year of commit activity
    Lean 13 Apache-2.0 6 7 7 Updated Sep 29, 2026
  • PoincareConjecture Public

    Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.

    frenzymath/PoincareConjecture's past year of commit activity
    Lean 13 1 0 0 Updated Sep 29, 2026
  • FormalPantheon Public

    A living, long-term archive that collects our formal project results across all domains.

    frenzymath/FormalPantheon's past year of commit activity
    Lean 7 Apache-2.0 1 0 0 Updated Sep 27, 2026
  • reap Public

    General neural tactic for Lean 4

    frenzymath/reap's past year of commit activity
    Lean 45 Apache-2.0 3 2 0 Updated Sep 23, 2026
  • LaverTable Public
    frenzymath/LaverTable's past year of commit activity
    Lean 4 0 0 0 Updated Sep 22, 2026
  • PiIrrationalityMeasure Public
    frenzymath/PiIrrationalityMeasure's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Sep 17, 2026
  • Rethlas_results Public

    Rethlas Results

    frenzymath/Rethlas_results's past year of commit activity
    6 CC-BY-4.0 1 0 0 Updated Sep 11, 2026
  • Algebraic-Geometry Public

    A shared hgraph workspace for formalized algebraic geometry

    frenzymath/Algebraic-Geometry's past year of commit activity
    TeX 1 Apache-2.0 0 3 1 Updated Sep 4, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.