"I was thinking that when you perform clustering, it could also annotate its "knowledge.tex" file with additional information, such as the absence of an introduction or the occurrence of duplicate introductions. Something like this:"
\knowledge{notion}
| monadic second-order logic of order
| monadic logic of order
| monadic logic
| monadic formula
| monadic formulas
| Monadic formulas
| monadic sentence
| monadic sentences
% This knowledge was introduced twice:
% in file main.tex, line 34 and 35
\knowledge{notion}
| order type
% this knowledge is introduced, but not used,
Suggested by Thomas Colcombet (& translated by ChatGPT).
"I was thinking that when you perform clustering, it could also annotate its "knowledge.tex" file with additional information, such as the absence of an introduction or the occurrence of duplicate introductions. Something like this:"
Suggested by Thomas Colcombet (& translated by ChatGPT).