HOL Around The World

1991., International Workshop on the HOL Theorem Proving System and Its Applications Pub Date : 1991-08-28 DOI:10.1109/HOL.1991.596266

Sara Kalvala

引用次数: 6

Abstract

This document describes briefly projects which use the HOL proof system, based on contributions from the user community. The entries are in somewhat haphazard order and classification; the intent is to provide 0 brief synopsis of applications and a directory for future contacts. This list is by no means comprehensive - it just contains the contributions I have received.

查看原文本刊更多论文

HOL环游世界

本文档简要描述了基于用户社区贡献的使用HOL证明系统的项目。条目的顺序和分类有些随意;目的是提供应用程序的简要介绍和未来联系人的目录。这份清单绝不是全面的，它只是包含了我收到的贡献。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

1991., International Workshop on the HOL Theorem Proving System and Its Applications

自引率

0.00%

发文量