Zulip Chat Archive
Stream: new members
Topic: stage0
Malcolm Langfield (May 29 2022 at 21:04):
Just out of curiosity, what is the stage0/
directory in the Lean 4 source? It looks like a full copy of src
that lags behind master
. What's the purpose?
Last updated: May 02 2025 at 03:31 UTC