Add support for building on Windows - #64

Closed

kant2002 wants to merge 7 commits into

leanprover-community:mainfrom

kant2002:kant/add-windows-build

Commits on May 24, 2025

Add support for building on Windows
kant2002
committed
4770378

Commits on Jun 26, 2025

Add Windows build into configuration
kant2002
committed
4c58d0d

Commits on Jun 27, 2025

Fix error from test run
kant2002
committed
f0d3d04
Set permissions bit which was probably lost when I perform rename on Windows
kant2002
committed
65a4be0
Rewrote server build in JS
kant2002
committed
5dacca2
Convert to ESM
kant2002
committed
7211c96
Use CJS
kant2002
committed
5ffcbfa