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