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: May 02 2025 at 03:31 UTC