Contributing Lean course materials

Stream: new members

[Kevin Sullivan]

Dear All,

I recall there's a list of institutions using Lean in courses. I'd like to add a link to my (almost finished) course page. Would someone kindly remind me where the list is in the Lean4 GitHub world, so that I can add the link and issue a PR? Thx.

[Mario Carneiro]

https://github.com/leanprover-community/leanprover-community.github.io/blob/lean4/data/courses.yaml

[Kevin Sullivan]

Mario Carneiro said:

https://github.com/leanprover-community/leanprover-community.github.io/blob/lean4/data/courses.yaml

Thank you, Mario. Course entry PR submitted.