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
Обновлено 15.03.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