Coq

rss_feed

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

  • 新着

  • アクティブ

  • 未回答

  • 未解決

  • 注目

  • 解決済

  • 受付中

    回答
    1

    coqで2 ^ k + 2 ^ k = 2 ^ (k + 1)の等式でexpnD.を適応したい

    • 0評価
    • 0クリップ
    • 315PV
    suharahiromichi suharahiromichi 4日前 回答
  • 受付中

    回答
    5

    C,python,Rの互いの関係性

    • -14評価
    • 0クリップ
    • 801PV
    BeatStar BeatStar 1週間前 回答
  • 解決済

    回答
    1

    Fat controllerを作ってしまいました

    • 0評価
    • 0クリップ
    • 582PV
    shinyaigeek shinyaigeek 12ヶ月前 コメント
  • 受付中

    回答
    0

    java) cgengo

    • 0評価
    • 0クリップ
    • 342PV
    teratailが 1年前 アップデート
  • 受付中

    回答
    1

    コマンドプロンプトの使い方

    • 0評価
    • 0クリップ
    • 537PV
    pied_piper pied_piper 1年前 回答
  • 解決済

    回答
    1

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

    • 0評価
    • 0クリップ
    • 1209PV
    yoshihiro503 yoshihiro503 5年前 回答を編集
  • 1
タグ情報
  • あなたの順位
    -
  • タグ登録者数
    6
  • 総質問数
    6
  • 今週の質問数
    0

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