2013-02-19から1日間の記事一覧

HOL-4 kananaskis8

インストールスクリプトを書きました．プラットフォームは http://d.hatena.ne.jp/ehito/20130214/1360813508 と同じです．コンパイルには４〜５時間必要です． export CAS=/home/knoppix/CAS cd ~ sudo mkdir ./CAS cd $CAS wget --no-check-certificate ht…

bool(5)

!の定義． FORALL_DEF: `(!) = \P:A->bool. P = \x. T` SPEC `a` `ASM |- !x.P[x]` gives `ASM |- P[a]` SPECL [`a`;`b`;`c`] `ASM |- !x y z.P[x,y,z]` gives `ASM |- P[a,b,c]` SPEC_VAR `ASM |- !x.P[x]` gives (`x17`, `ASM |- P[x17]`) SPEC_ALL repeat…