Zulip Chat Archive

Stream: lean4

Topic: Documentation


view this post on Zulip 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 07 2021 at 12:15 UTC