Students' Proof Assistant (SPA)

Schlichtkrull, A; Villadsen, J; From, AH

Schlichtkrull, A (reprint author), Tech Univ Denmark, DTU Compute Dept Appl Math & Comp Sci, Bldg 324, DK-2800 Lyngby, Denmark.

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019; (290): 1

Abstract

The Students' Proof Assistant (SPA) aims to both teach how to use a proof assistant like Isabelle and also to teach how reliable proof assistants are ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索