ですが，ユーザーの多さを鑑み，Windowsの場合をお話します（コマンドやパッケージによっては外部プログラムやソースの書き換えが必要になりますが，それは逐次述べます）． まず，HOL Lightは，Objective Caml上のプログラムなので http://caml.inria.fr/pu…

突然（でもないかも？）ですが，今回からしばらく，HOL Lightについて少し詳しく書いて行きたいと思います． まず，インストールですが，前回の方法は，手軽とはいえ HOL Light 2.20, built 22 December 2006 on OCaml 3.09.3 という古い安定化バージョンで…