cli-toolstools
pulseverifier
Use fstar.exe to verify Pulse code and interpret the errors reported
maintainer
FStarLang
Обновлено 31.01.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