OSDN -- オープンソース・ソフトウェアの開発とダウンロード
日本語の翻訳状況 translation status for ja

RSS リリース一覧に戻る
ダウンロードリスト

プロジェクト概要

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

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

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

システム要件

システム要件が設定されていません

リリース時刻: 2010-01-25 22:04
coqbase 0.2 (1 個のファイル 非表示)

リリースノート

リリースノートはありません

変更履歴

printf関数を依存型を使って型安全に実装。