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