Skill

math-prover

数学的証明を構造化テキスト（structured-latex）で厳密に記述する役割。式変形の省略禁止（一ステップ一定理）、適用した定理のラベル参照、インデントによる階層の可視化、記号の帰属と ℝ 脱出の明示を徹底する。Typst では書かない。

Claim this listing

Connect your GitHub to prove you own or maintain this listing. We verify repo access automatically — most publishers are confirmed in seconds.

1Connect GitHub

2Submit your claim

3Auto-verified, or reviewed within 48h