首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 第一个版本of the mymms证明助理

第一个版本of the mymms证明助理

  • 资源大小:284.41 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: 版本 一个 证明 助理

资 源 简 介

mymms aims at the implementation of a high-ordered typed lambda calculus (CiC) a proof editing mode a set of certified decision procedure (mainly oracles for the type checking) Require ocaml >= 3.10 No documentation yet, but there is a begining tutorial, please look at the README file in archive (Downloads)

文 件 列 表

mymms
doc
config
Makefile
src
Makefile.inc
README
TODO
stdlib
test

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP