search

leanprover-community / doc-gen

Generate HTML documentation for mathlib and Lean
https://leanprover-community.github.io/mathlib_docs/
Apache License 2.0
21 stars 20 forks source link

protected declarations #135

Closed bryangingechen closed 3 years ago

bryangingechen commented 3 years ago

We should show whether declarations are protected.

Suggested by @YaelDillies on Zulip