Coq

証明支援システムの一つで、プログラミング言語Gallinaを用いています。

RSS

  • 解決済

    回答
    1

    CoqでモジュールをVariableみたいに仮定したい

    Coqでは次のようにVariableコマンドを使って、実装せずに型だけ書いて実装を省略することができる。 Variable user : Set. Variable name_of_user : user -> string. しかし、Moduleでも同じことがしたい。例えば次のようなModule Typeがあったとする。 Module Type Use

    • 0評価
    • 265PV
    yoshihiro503 yoshihiro503 1年以上前

タグ情報

  • あなたの順位

    -

  • タグ登録者数

    1

  • 総質問数

    1

  • 今週の質問数

    0

関連するタグ

思考するエンジニアのためのQ&Aサイト「teratail」について詳しく知る