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