The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.
Rust Updated about 1 month ago 1 commits 1 stars
pulse-dev|Mirror: Dezz05/leanstudio (⭐1)
about 1 month agoAbout
The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.
Readme
1 stars