Zulip Chat Archive

Stream: lean4

Topic: Documentation

Calvin Lee (Jan 25 2021 at 19:49):

I know that lean4 is currently unstable. Is documentation for pieces such as Task, Option, etc. waiting for more stability? Or is documentation of the current behavior appreciated?

Last updated: Dec 20 2023 at 11:08 UTC