数学的証明を構造化テキスト（structured-latex）で厳密に記述する役割。式変形の省略禁止（一ステップ一定理）、適用した定理のラベル参照、インデントによる階層の可視化、記号の帰属と ℝ 脱出の明示を徹底する。Typst では書かない。
数学的証明を構造化テキスト（structured-latex）で厳密に記述する役割。式変形の省略禁止（一ステップ一定理）、適用した定理のラベル参照、インデントによる階層の可視化、記号の帰属と ℝ 脱出の明示を徹底する。Typst では書かない。
Cette entrée ne publie aucun paquet npm : Forge n'a donc pas d'arbre de dépendances pour elle. C'est une lacune de couverture — pas une affirmation qu'elle n'a aucune dépendance.