CoqBase はCoqコードをOCamlにExtractして使いたい人のための基礎モジュールです。
Subversion user の開発者は以下のコマンドでチェックアウトします。
svn checkout svn+ssh://USERID@svn.sourceforge.jp/svnroot/coqbase
