Skillget
Kesfet
Repo Paylas
GitHub ile Giris
TR
TR - Turkce
EN - English
1 sonuc
mcp
competemath/tengoku
A stable AI-first formal mathematics library for Lean 4 age…
Basarisiz
Sahibi:
competemath
Dil:
Lean
Yildiz:
5
Puan:
0.0