search

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

remove theory docs from side menu #383

Closed robertylewis closed 1 year ago

robertylewis commented 1 year ago

Unlike the metaprogramming tutorial, I'm not totally sure these should go. Ideally they'd be updated. But not only are they about mathlib3, they're also out of date.