OSDN -- オープンソース・ソフトウェアの開発とダウンロード

プロジェクトの説明
レビューする Webページ 開発情報


画像一覧

CoqBase はCoqコードをOCamlにExtractして使いたい人のための基礎モジュールです。

Subversion user の開発者は以下のコマンドでチェックアウトします。 

  1.  svn checkout svn+ssh://USERID@svn.sourceforge.jp/svnroot/coqbase

システム要件

Requirement: Coq version 8.2 and OCaml

ダウンロード

ダウンロードファイル一覧

レビュー
あなたの評価
レビューする

統計情報
平均評価
4.0
投票数 1
5つ星
0
4つ星
1
3つ星
0
2つ星
0
1つ星
0
データがありません
レビュー一覧

最新の動き

2010-03-17
22:35
CoqBase
yoshihiro503
[SVN] リビジョン 10 をコミットしました
[Makefile.mac] Makefile for Macintosh
2010-02-04
10:58
CoqBase
yoshihiro503
[ファイルリリース] リリース '0.3' を更新しました
10:58
CoqBase
yoshihiro503
[ファイルリリース] 新規リリース '0.3' を作成しました
10:55
CoqBase
yoshihiro503
[SVN] リビジョン 9 をコミットしました
print stderr
2010-02-02
10:37
CoqBase
yoshihiro503
[SVN] リビジョン 8 をコミットしました
rename to OCamlBase
活動履歴を見る