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):
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