add summer course at Bonn - Githubissues

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

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

MIT License

51 stars 119 forks source link

add summer course at Bonn #468

Closed fpvandoorn closed 4 months ago

fpvandoorn commented 4 months ago

also remove almost-unused website for my winter course