home/categories/machine-learning/wentorai-research-plugins-skills-domains-cs-formal-verification-guide-skill-md
machine-learningdata-ai
formal-verification-guide
Formal methods, theorem proving, and model checking for CS research
maintainer
wentorai
Обновлено 3/15/2026
Звёзды
195
Форки
30
quick start
Installation and usage
Formal methods, theorem proving, and model checking for CS research
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use formal-verification-guide