Interactive Theorem Proving

Periodicals（2016）

引用 2|浏览45

暂无评分

摘要

AbstractThis special issue collects current efforts towards the construction of formal proofs with the use of interactive theorem provers, which combine formal proof-checking and proof-finding tools with human guidance.

查看译文

关键词

Formal verification,Interactive theorem proving,Formal logic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要