HOL LightはOcamlのToplevel Loop上のプログラムですから,Ocamlが動くならOSは問いませんが,周辺プログラムとの連携という観点に立つなら何といってもUnixです. それはMaximaやPARI/GPを呼ぶmlファイル内のシステムコマンドによるものだけではなく,一般…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。