Zulip Chat Archive

Stream: new members

Topic: Style Guide


view this post on Zulip Kevin Sullivan (Jan 14 2019 at 00:28):

Would someone kindly point me to the Lean coding style guide. When to use greek letters, and all that? Thanks, can't seem to find it.

view this post on Zulip Bryan Gin-ge Chen (Jan 14 2019 at 00:45):

https://github.com/leanprover/mathlib/blob/master/docs/style.md

view this post on Zulip Bryan Gin-ge Chen (Jan 14 2019 at 00:46):

I always just get to it via the mathlib README

view this post on Zulip Kevin Sullivan (Jan 14 2019 at 13:57):

Thanks. Knew it was out there!


Last updated: May 14 2021 at 22:15 UTC