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
• 利用規約