cli-toolstools
pulseverifier
Use fstar.exe to verify Pulse code and interpret the errors reported
maintainer
FStarLang
اپ ڈیٹ ہوا 1/31/2026
اسٹارز
3001
فورکس
249
quick start
Installation and usage
Use fstar.exe to verify Pulse code and interpret the errors reported
انسٹالیشن
$ install --globalskills.sh
استعمال
انسٹال کرنے کے بعد، آپ یہ اسکل ٹرمینل میں درج ذیل کمانڈ چلا کر استعمال کر سکتے ہیں:
skills use pulseverifier