OSDN -- 开发和下载开源软件
简体中文翻译状态 translation status for zh

RSS Back to release list
Download List

项目描述

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

系统要求

System requirement is not defined

发布: 2010-01-26 10:25
coqbase 0.2.1 (1 files 隐藏)

发布版本通知

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

变更日志

No Changelogs