machine-learningdata-ai
prove
Formal theorem proving with research, testing, and verification phases
maintainer
vibeeval
Обновлено 14.03.2026
Звёзды
456
Форки
38
quick start
Installation and usage
Formal theorem proving with research, testing, and verification phases
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use prove