add course entry for Bonn

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

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

MIT License

54 stars 123 forks source link

Closed fpvandoorn closed 1 year ago

fpvandoorn commented 1 year ago

The comment at top is descriptive, not prescriptive. Once the list is sorted in a particular way, feel free to change the comment to give instructions where to add new courses.