Skip to content

Add support for building on Windows - #64

Closed
kant2002 wants to merge 7 commits into
leanprover-community:mainfrom
kant2002:kant/add-windows-build
Closed

Add support for building on Windows#64
kant2002 wants to merge 7 commits into
leanprover-community:mainfrom
kant2002:kant/add-windows-build

Use CJS

5ffcbfa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs