knowledge-basedocumentation
explicate
Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.
maintainer
acornprover
Обновлено 15.01.2026
Звёзды
47
Форки
15
quick start
Installation and usage
Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use explicate