Skip to content
@frenzymath

FrenzyMath

Popular repositories Loading

  1. jixia jixia Public

    A static analysis tool for Lean 4.

    Lean 97 5

  2. LeanSearch LeanSearch Public

    Python 36 2

  3. herald_translator herald_translator Public

    Python 26 3

  4. FATE FATE Public

    The FATE (Formal Algebra Theorem Evaluation) benchmarks.

    25

  5. REAL-Prover REAL-Prover Public

    Python 22

  6. reap reap Public

    General neural tactic for Lean 4

    Lean 20 3

Repositories

Showing 10 of 24 repositories
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…