-
Rethlas
No description.
Python ★ 203 1mo agoExplain → -
Archon
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
Python ★ 173 20d agoExplain → -
jixia
A static analysis tool for Lean 4.
Lean ★ 126 1mo agoExplain → -
Danus
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Python ★ 101 5d agoExplain → -
FATE
The FATE (Formal Algebra Theorem Evaluation) benchmarks.
★ 58 5mo agoExplain → -
LeanSearch
No description.
Python ★ 57 6mo agoExplain → -
reap
General neural tactic for Lean 4
Lean ★ 41 18d agoExplain → -
iteris
AI Agentic Research System for Computational Mathematics
Python ★ 37 1mo agoExplain → -
herald_translator
No description.
Python ★ 33 1y agoExplain → -
REAL-Prover
No description.
Python ★ 32 1y agoExplain → -
Anderson-Conjecture
No description.
Lean ★ 30 3mo agoExplain → -
LeanSearch-v2
No description.
Python ★ 18 2mo agoExplain → -
Archon-FirstProof-Results
No description.
Lean ★ 18 4mo agoExplain → -
mozi
Mozi Lean Copilot VS Code Extension
★ 11 6mo agoExplain → -
shouyi
No description.
Python ★ 6 2mo agoExplain → -
Aria-autoformalizer
No description.
Python ★ 4 3mo agoExplain → -
requests
A requests lib for Lean 4
Lean ★ 3 3mo agoExplain → -
FATE-H
The FATE-H (Formal Algebra Theorem Evaluation-Hard) benchmark.
Lean ★ 3 5mo agoExplain → -
FATE-Eval
Repository for evaluation codes for FATE benchmark
Python ★ 3 8mo agoExplain → -
FATE-X
The FATE-X (Formal Algebra Theorem Evaluation-Extra Hard) benchmark.
Lean ★ 3 5mo agoExplain → -
Poincare-Conjecture
Formalizing the Poincaré Conjecture in Lean 4
Lean ★ 2 4d agoExplain → -
TreeSearch
No description.
Lean ★ 2 2mo agoExplain → -
FATE-M
The FATE-M (Formal Algebra Theorem Evaluation - Medium) benchmark.
Lean ★ 2 5mo agoExplain → -
interactive
No description.
Lean ★ 2 1y agoExplain → -
jixia_py
Python binding of jixia
Python ★ 1 26d agoExplain → -
openai_client
A clean OpenAI-compatible client for Lean 4
Lean ★ 1 3mo agoExplain → -
Archon-FirstProof-problem6-augmentation
No description.
Lean ★ 1 4mo agoExplain → -
metalib
A collection of metaprogramming utilities.
Lean ★ 1 3mo agoExplain → -
ai4m-tutorial
Tutorial for MATRIX workshop
Jupyter Notebook ★ 1 10mo agoExplain → -
lean_test_v4110
No description.
Lean ★ 1 1y agoExplain → -
Rethlas_results
Rethlas Results
★ 0 1mo agoExplain → -
qrcp-bounded-coherence-obstruction
Lean formalization of a bounded-coherence obstruction for exact QRCP.
Lean ★ 0 1mo agoExplain → -
frenzymath.github.io
No description.
HTML ★ 0 1y agoExplain → -
DeepSeek-Math-V2 ⑂
No description.
Python ★ 0 5mo agoExplain → -
jixia_db
Parse a Lean repo into structured items, and store them in a PostgreSQL database.
Python ★ 0 6mo agoExplain → -
e5-eaas
E5-mistral-7b embedding as a service.
Python ★ 0 8mo agoExplain → -
mathlib4 ⑂
The math library of Lean 4
★ 0 6mo agoExplain → -
lean_test_v4160
No description.
Lean ★ 0 11mo agoExplain → -
LeanSearch-PS
No description.
Python ★ 0 5mo agoExplain → -
lean_test_v4130
No description.
Lean ★ 0 1y agoExplain → -
interactive.py
No description.
Python ★ 0 1y agoExplain → -
LeanCopilot ⑂
LLMs as Copilots for Theorem Proving in Lean
C++ ★ 0 1y agoExplain → -
lean-v4130-fixed
Fixed version of mathlib4 used in annotation system
★ 0 1y agoExplain →
No repos match these filters.