帳戶
- 下載
- 軟體開發
- 登入
- 我忘記帳戶名和密碼了
- 新增帳戶
- 語言
- 手冊
語言
手冊

OSDN > 軟體搜索 > CoqBase > 下載檔案列表 > 套件 coqbase > 發佈 0.2.1

CoqBase

RSS Back to release list
Download List

專案描述

CoqBase is a basic module for Coq user who will extract to OCaml code.

System Requirements

System requirement is not defined

評

5 星	0
4 星	1
3 星	0
2 星	0
1 星	0

您的評分

撰寫專案評

coqbase

0.2.1

發布 2010-01-26 10:25
coqbase 0.2.1 (1 files 隱藏)

發布版本通知

日本語

Macユーザーのために Makefile を少し修正しました。

更動紀錄

沒有更動紀錄