home/categories/education/letta-ai-skills-letta-benchmarks-trajectory-feedback-prove-plus-comm-skill-md
educationdocumentation
prove-plus-comm
Guidance for proving mathematical properties in Coq using induction, specifically addition commutativity and similar arithmetic lemmas. This skill should be used when working with Coq proof assistants to complete induction proofs, fill in proof cases, or apply standard library lemmas like plus_n_O and plus_n_Sm.
maintainer
letta-ai
更新日 1/19/2026
スター
31
フォーク
5
quick start
Installation and usage
Guidance for proving mathematical properties in Coq using induction, specifically addition commutativity and similar arithmetic lemmas. This skill should be used when working with Coq proof assistants to complete induction proofs, fill in proof cases, or apply standard library lemmas like plus_n_O and plus_n_Sm.
インストール
$ install --globalskills.sh
使い方
インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます：
skills use prove-plus-comm