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 8 days ago 1 commits 1 stars
pulse-dev|Mirror: Dezz05/leanstudio (⭐1)
8 days 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