TopProver
ver.0.4.10
Contests
All Tasks
Submissions
Ranking
FAQ
Register
Login
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
利用規約