knowledge-basedocumentation
explicate
Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.
maintainer
acornprover
آخر تحديث 1/15/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
الاستخدام
بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:
skills use explicate