数学的証明を構造化テキスト（structured-latex）で厳密に記述する役割。式変形の省略禁止（一ステップ一定理）、適用した定理のラベル参照、インデントによる階層の可視化、記号の帰属と ℝ 脱出の明示を徹底する。Typst では書かない。
数学的証明を構造化テキスト（structured-latex）で厳密に記述する役割。式変形の省略禁止（一ステップ一定理）、適用した定理のラベル参照、インデントによる階層の可視化、記号の帰属と ℝ 脱出の明示を徹底する。Typst では書かない。
Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.