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