AGENTRANK
Dezz05/leanstudio
The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Lin…
53
/ 100
Stars
8
Freshness
98
Issue health
50
Contributors
0
Dependents
0