Zulip Chat Archive
Stream: lean4
Topic: Nightlies
Sebastian Ullrich (Jan 08 2021 at 10:38):
FYI, after a bit of a configuration hiccup, the first nightly has now been released at https://github.com/leanprover/lean4-nightly/releases
Last updated: Dec 20 2023 at 11:08 UTC