Zulip Chat Archive

Stream: std4

Topic: online documentation?


Cole Shepherd (Dec 02 2022 at 00:51):

Is there online documentation for std4 anywhere? I don't see a link to it anywhere on the website.

Moritz Doll (Dec 02 2022 at 01:04):

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Lean.204.20Documentation.20How.20to

Moritz Doll (Dec 02 2022 at 01:06):

Everything is still under heavy development, so I suspect that polishing the websites is not a priority of the devs at the moment

Cole Shepherd (Dec 02 2022 at 01:08):

Are PRs in this area welcome?

Adam Topaz (Dec 02 2022 at 01:14):

docs4#List.reverse (you can poke around on that website for documentation of both Std4 and Mathlib4)


Last updated: Dec 20 2023 at 11:08 UTC