An AI-first formal mathematics library for Lean 4 agentic theorem provers.
Lean Updated 10 days ago 1 commits 1 stars
helix-ai|Mirror: competemath/tengoku (⭐1)
10 days agoAbout
An AI-first formal mathematics library for Lean 4 agentic theorem provers.
Readme
1 stars
3 forks