Style Guide

Stream: new members

[Kevin Sullivan]

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]

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

[Bryan Gin-ge Chen]

I always just get to it via the mathlib README

[Kevin Sullivan]

Thanks. Knew it was out there!