Skillget
Kesfet
Repo Paylas
GitHub ile Giris
TR
TR - Turkce
EN - English
1 sonuc
mcp
keithadler/leanstudio
A native desktop IDE for Lean 4 on macOS, Windows and Linux…
Basarisiz
Sahibi:
keithadler
Dil:
C#
Yildiz:
5
Puan:
0.0