computational-chemistryresearch
hol4
HOL4 proof development pipeline - planning, sketching, and proving phases. (project)
maintainer
charles-cooper
آخر تحديث 1/16/2026
النجوم
3
التفرعات
1
quick start
Installation and usage
HOL4 proof development pipeline - planning, sketching, and proving phases. (project)
التثبيت
$ install --globalskills.sh
الاستخدام
بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:
skills use hol4