productivity-toolstools
discover-formal
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
maintainer
rand
اپ ڈیٹ ہوا 11/25/2025
اسٹارز
55
فورکس
7
quick start
Installation and usage
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
انسٹالیشن
$ install --globalskills.sh
استعمال
انسٹال کرنے کے بعد، آپ یہ اسکل ٹرمینل میں درج ذیل کمانڈ چلا کر استعمال کر سکتے ہیں:
skills use discover-formal