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