项目描述

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

下载

Your rating
Review this project

统计

近期活动

2010-03-17
22:35
CoqBase
[SVN] Commit revision 10
[Makefile.mac] Makefile for Macintosh
2010-02-04
10:55
CoqBase
2010-02-02
10:37
CoqBase
[SVN] Commit revision 8
rename to OCamlBase
Show history