数学的証明を構造化テキスト（structured-latex）で厳密に記述する役割。式変形の省略禁止（一ステップ一定理）、適用した定理のラベル参照、インデントによる階層の可視化、記号の帰属と ℝ 脱出の明示を徹底する。Typst では書かない。
数学的証明を構造化テキスト（structured-latex）で厳密に記述する役割。式変形の省略禁止（一ステップ一定理）、適用した定理のラベル参照、インデントによる階層の可視化、記号の帰属と ℝ 脱出の明示を徹底する。Typst では書かない。
This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.