search

toelli-msft / lean4

Lean4 work in progress repo
Apache License 2.0
0 stars 0 forks source link

Incorrect case? #1

Open toelli-msft opened 3 years ago

toelli-msft commented 3 years ago

Should these lists be in upper case?

toelli-msft commented 3 years ago

https://github.com/leanprover/lean4/blame/b6905f66d609f7501eb621ad2499f435fbcaad3c/doc/dep.md#L14 and elsewhere