Zulip Chat Archive

Stream: general

Topic: Advocacy is Volunteering


Tim Daly (Oct 23 2019 at 06:00):

Advocacy is volunteering, or so goes the open source mantra. I've advocated for better documentations so...

I've scraped the 89 thousand lines of this chat room (back to May 23, it wouldn't go back any further). Since a new semester has started it seems that new user questions are on the rise. Since I'm also struggling to climb the "smooth wall" of Lean I thought I'd write a new user guide based on questions and answers in this chat room. I hope to have a draft by the January meeting.


Last updated: Dec 20 2023 at 11:08 UTC