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