## Stream: lean4

### Topic: Nightly 01-31

#### Alex J. Best (Jan 31 2021 at 00:47):

The latest nightly https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2021-01-31 doesn't seem to have windows or darwin binaries, do these take some time to appear or should they be there? (I see https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2021-01-28 is the same)

#### Leonardo de Moura (Jan 31 2021 at 01:18):

Could you please try again? I am seeing them
image.png

#### Leonardo de Moura (Jan 31 2021 at 01:18):

I don't have a Windows machine for testing them right now, but there is a lean.exe in the .zip file :)

#### Alex J. Best (Jan 31 2021 at 01:34):

alexj@DESKTOP-HFH3GTJ MINGW64 ~/lean4test (master)