プログラミング

Coq の入門記事と環境

Coq について

入門記事

• 誰も書かないCoq入門以前の話 - 檜山正幸のキマイラ飼育記
• Coqで独習するならどのページがいい？と聞かれたときのメモ - 簡潔なQ

環境

• ProofWeb - ブラウザ上で動く Coq 環境。軽く試すのに非常に便利。