Stream: new members
Topic: Style Guide
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.
Bryan Gin-ge Chen (Jan 14 2019 at 00:45):
Bryan Gin-ge Chen (Jan 14 2019 at 00:46):
I always just get to it via the mathlib README
Kevin Sullivan (Jan 14 2019 at 13:57):
Thanks. Knew it was out there!
Last updated: May 14 2021 at 22:15 UTC