Stream: Lean Together 2019
Topic: Documentation session
Johan Commelin (Jan 11 2019 at 12:51):
Could someone please post a short summary of the topic session on documentation?
Joseph Corneli (Jan 16 2019 at 11:41):
I missed it so would also welcome any notes.
Also, it would be great to have something like "clojuredocs" for lean:
Last updated: May 08 2021 at 22:13 UTC