自动生成“参考手册”和教学书籍

Question

我正在写一本关于数学的书，我想支持两种阅读方式：

通常，教育的这样，写法是按顺序、拓扑顺序的：

• 我们引入一个操作
• 我们引入一个定理
• 我们明确了定理对运算的影响（“属性”，如方程）
• 我们引入了一个新操作
• ETC。 ...

在阅读过程中的任何时候，唯一使用的概念是先前介绍过的概念。

另一种方式是参考书 ：

• 我们定义一个操作
• 我们公开此操作涉及的所有（或部分）属性

这样我们就可以调用尚未定义的定理来证明那些

有没有一种方法，只需编写一次，但无需重写即可自动支持两种风格的生成？