Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Crossref DOI link: https://doi.org/10.1007/s10817-020-09557-w
Published Online: 2020-05-22
Published Print: 2020-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Avigad, Jeremy http://orcid.org/0000-0003-1275-315X
Mahboubi, Assia
Text and Data Mining valid from 2020-05-22
Version of Record valid from 2020-05-22
Article History
Received: 15 April 2020
Accepted: 24 April 2020
First Online: 22 May 2020
Free to read: This content has been made available to all.