12th international conference on interactive theorem proving

Liron Cohen, Cezary Kaliszyk

Research output: Contribution to journal › Editorial

Original language	English
Journal	Leibniz International Proceedings in Informatics, LIPIcs
Volume	193
State	Published - 1 Jun 2021
Event	12th International Conference on Interactive Theorem Proving, ITP 2021 - Virtual, Rome, Italy Duration: 29 Jun 2021 → 1 Jul 2021

ASJC Scopus subject areas

@article{a29d27bcd13542a18a3eebcd79c12bc5,

title = "12th international conference on interactive theorem proving",

author = "Liron Cohen and Cezary Kaliszyk",

year = "2021",

month = jun,

day = "1",

language = "English",

volume = "193",

journal = "Leibniz International Proceedings in Informatics, LIPIcs",

issn = "1868-8969",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

note = "12th International Conference on Interactive Theorem Proving, ITP 2021 ; Conference date: 29-06-2021 Through 01-07-2021",

}

TY - JOUR

T1 - 12th international conference on interactive theorem proving

AU - Cohen, Liron

AU - Kaliszyk, Cezary

PY - 2021/6/1

Y1 - 2021/6/1

UR - http://www.scopus.com/inward/record.url?scp=85115251714&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:85115251714

SN - 1868-8969

VL - 193

JO - Leibniz International Proceedings in Informatics, LIPIcs

JF - Leibniz International Proceedings in Informatics, LIPIcs

T2 - 12th International Conference on Interactive Theorem Proving, ITP 2021

Y2 - 29 June 2021 through 1 July 2021

ER -