AGENTRANK
keithadler/leanstudio
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by T…
60
/ 100
Stars
24
Freshness
73
Issue health
50
Contributors
28
Dependents
0