Improved Assistance for Interactive Proof

被引：0

作者：

Kaliszyk, Cezary ^{[1
]}

机构：

[1] Univ Innsbruck, Innsbruck, Austria

来源：

PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023 | 2023年

关键词：

D O I：

10.1145/3573105.3579108

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：2 / 2

页数：1