TopProver

Coq competition

• Coq をはじめとする証明支援システムを用いるコンテストサイトです
• 出題を希望して下さる方や、質問,要望,バグ報告などご用のある方は、@asi1024 までご連絡お願いします。

初心者の方は

• 環境準備:
  • CoqIDE (公式サポートの対話型証明アシスタント) を使う場合
    • GitHub のリリースページ: The release page on GitHub
  • CoqIDE を使わない場合
    • Coq のインストール: Install Coq with opam
    • 対話型証明アシスタントの導入
      • Proof General (Emacs)
      • vscoq (Visual Studio Code)
• 有名な教材: Software Foundations

その他

• FAQ
• 利用規約
• 採点環境の Coq のバージョンアップデートについて (2020/05/03)