加载中…
2023-09-28
Automatic Proof Checking and Proof Construction by Tactics
Gilles Dowek
文献摘要
In this note we compare two kinds of systems that verify the correctness of mathematical developments: roof checking and proof construction by tactics and we propose to merge them in a single system.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本