Skillget
Explore
Submit Repo
Sign in with GitHub
EN
TR - Turkce
EN - English
1 results
mcp
competemath/tengoku
A stable AI-first formal mathematics library for Lean 4 age…
Fail
Owner:
competemath
Language:
Lean
Stars:
5
Rating:
0.0