Move source of "theory pages" back to mathlib, and check for deadlinks #287

Open

Open

Move source of "theory pages" back to mathlib, and check for deadlinks#287

Pages like https://leanprover-community.github.io/theories/category_theory.html should have their source hosted in mathlib, so that it is easy to check for deadlinks during CI.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests