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

Port the `theories` folder #505

Closed riccardobrasca closed 1 week ago

fpvandoorn commented 1 week ago

I didn't check if all the information is up-to-date, but it's probably better to merge this with a few outdated bits than to have nothing.