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
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use pulseverifier