competemath/tengoku
A stable AI-first formal mathematics library for Lean 4 agentic theorem provers.
GitHub repository with 6 stars and 5 forks.
Language: Lean
Topics: dataset, formal-mathematics, lean4, mcp, theorem-proving
24h trend summary
Trending score 0.41, freshness score 0.80, stars gained +1, forks gained +0.
Latest metric snapshot
2026-11-15: 6 stars and 5 forks.