A visualized theorem prover based on Lean 4
Supported platform: Windows
- Git
- Node.js >= v22.18.0
- Lean 4 Toolchain
- Powershell
Open Powershell under the installation folder and run:
git clone https://github.com/LAWArthur/leanclient.git
cd leanclient
./build.ps1It may take a few minutes to compile and build. The built binaries are in dist/.
If you run into any issues, try to build and assemble manually according to the script.
Double click on leanclient.exe in the distribution directory to start the server. Then visit https://localhost:8081 and you may start theorem proving.
The server port can be set manually through environment variable PORT.