SeqCalc: A Tool for Teaching Logic in the Isabelle/HOL Proof Assistant

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

205 Downloads (Orbit)

Original language	English
Title of host publication	Proceedings of V Congress Tools for Teaching Logic
Number of pages	3
Publication date	2023
Publication status	Published - 2023
Event	V International Congress: Tools for Teaching Logic - Complutense University of Madrid, Madrid, Spain Duration: 23 Mar 2023 → 24 Mar 2023

Conference	V International Congress
Location	Complutense University of Madrid
Country/Territory	Spain
City	Madrid
Period	23/03/2023 → 24/03/2023

Access to Document

@inproceedings{d3dea46769924ca3a4c840bf6b4fd7df,

title = "SeqCalc: A Tool for Teaching Logic in the Isabelle/HOL Proof Assistant",

author = "J{\o}rgen Villadsen",

year = "2023",

language = "English",

booktitle = "Proceedings of V Congress Tools for Teaching Logic",

note = "V International Congress : Tools for Teaching Logic ; Conference date: 23-03-2023 Through 24-03-2023",

}