主页

从两个项目
跳转到:导航搜索
欢迎来到两个项目
二百三十六文章和计数…

Twelf是什么?

特威尔是用于指定、实现和证明属性的语言。演绎系统比如编程语言和逻辑。大号使用TWELL的研究项目包括滑石型汇编语言,一个基本的证明携带代码系统,和一个类型的安全证明标准ML。

没有技术背景的访客被鼓励阅读。TWELL的一般描述.


下载并学习TWELL
下载两个或两个网上试一试.

学习Twelf:

文档页面以获取更多资源。

有什么新鲜事吗?

2015年1月17日
  • 经过一年的问题,源于我们旧服务器的时代,十二月已经搬进了一台新机器。某些特性,如TWELL LIFE和语法高亮显示,仍然只存在于旧址. 抢劫了解新网站的其他缺陷。
2013年6月10日
  • Taus Brock Nannestad、Chris Martens和卡斯滕斯库尔曼举行CADE双教程.
2012年10月26日
  • John Boyland双库在Github上可用。

若要阅读旧的更新,请参阅有什么新鲜事吗?网页