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: Dec 20 2023 at 11:08 UTC