linter does not pick up definienda in `\begin{ndefinition}` #41

Open

Assignees

opened

e.g. for tableau refutation and tableau proof in MiKoMH/GenCS/source/atp0/slides/tableaux-formal.en.tex

Metadata

Assignees

Jazzpirate

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests