Added the 2024 course at UW

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

52 stars 121 forks source link

Added the 2024 course at UW #477

Closed Vilin97 closed 4 months ago

PatrickMassot commented 4 months ago

Thanks for your contribution. Could you please fix the typos and make it valid yaml? You have Englsih instead of English, experience instead of experiences, and the multi-line string format is wrong.

Vilin97 commented 4 months ago

Thank you for the review. I have fixed the typos.