2010-11-02から1日間の記事一覧
一昨日(表示は昨日になるかもしれない)、Coqのサブセットを作ろうかな、と書いた。 でもサブセットってどのくらいよ?という問題が出てくる。 少し考えてみよう。 まず、Coqのサポートしている範囲を挙げる。 言語について:Vernacular(コマンド用言語、…
一昨日(表示は昨日になるかもしれない)、Coqのサブセットを作ろうかな、と書いた。 でもサブセットってどのくらいよ?という問題が出てくる。 少し考えてみよう。 まず、Coqのサポートしている範囲を挙げる。 言語について:Vernacular(コマンド用言語、…