۱ مطلب با این برچسب
آموزش گامبهگام و جایگزین برای شروع کار با ابزار اثبات قضیه HOL Light. این راهنما به برنامهنویسان کمک میکند بدون نیاز به مطالعه مستندات سنگین اولیه، محیط OCaml و ابزار را نصب کرده و اولین گامهای اثبات ریاضی را بردارند.