home/categories/computational-chemistry/lazyfroglol-harness-engineering-skills-prove-plus-comm-skill-md
computational-chemistryresearch
prove-plus-comm
Guide for completing Coq proofs involving arithmetic properties like addition commutativity. This skill should be used when working on Coq proof files that require proving properties about natural number arithmetic using induction, particularly when lemmas like plus_n_O and plus_n_Sm are involved.
maintainer
lazyFrogLOL
اپ ڈیٹ ہوا 4/8/2026
اسٹارز
91
فورکس
19
quick start
Installation and usage
Guide for completing Coq proofs involving arithmetic properties like addition commutativity. This skill should be used when working on Coq proof files that require proving properties about natural number arithmetic using induction, particularly when lemmas like plus_n_O and plus_n_Sm are involved.
انسٹالیشن
$ install --globalskills.sh
استعمال
انسٹال کرنے کے بعد، آپ یہ اسکل ٹرمینل میں درج ذیل کمانڈ چلا کر استعمال کر سکتے ہیں:
skills use prove-plus-comm