elan icon indicating copy to clipboard operation
elan copied to clipboard
verified publisher icon leanprover

Update README.md for Windows building instructions

Open bombless opened this issue 5 months ago • 0 comments

bombless avatar Jul 05 '25 02:07 bombless