12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference).

Liron Cohen (Editor), Cezary Kaliszyk (Editor)

Research output: Book/ReportAnthologypeer-review

Original languageEnglish
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
Volume193
ISBN (Print)978-3-95977-188-7
StatePublished - 2021

Publication series

NameLIPIcs
NameITP

Cite this