teaching resources on website

Stream: Lean for teaching

[Rob Lewis]

@Patrick Massot and I updated the community website this week with some resources about teaching with Lean, including a redesign of the courses page. https://leanprover-community.github.io/teaching/index.html

[Rob Lewis]

We're very happy to take suggestions and improvements! And if your course isn't in the list, please make a PR to add it

[Kevin Buzzard]

Oh this looks great! Thank you both so much!

[Martin Dvořák]

We should merge "intro to proof" with "intro to proofs".

Also, should we all tag our course with the language (English, Spanish, ...)? Or all non-English courses?

[Patrick Massot]

The "intro to proofs" vs "intro to proof" is clearly a typo that I will fix right away. The language tag is only for courses that are not in English.

[Martin Dvořák]

OK, I'll tag mine with Czech and remove the redundant info from the description.

[Patrick Massot]

And guess who messed up with the "intro to proof" tag?

[Martin Dvořák]

I did.

[Martin Dvořák]

What about creating a "pre-uni" tag? People might want to filter for that.

[Martin Dvořák]

I made a mistake when entering my course; please, accept my correction:
https://github.com/leanprover-community/leanprover-community.github.io/pull/474

BTW, can we get rid of the "English" tag? It is confusing that currently there is exactly one course labeled with "English". If I understand correctly, it is because this course has materials partly in Catalan and partly in English (please @Marc Masdeu correct me if I'm wrong), so perhaps "Catalan-English" is the tag it should carry?