Re-imagining the Isabelle archive of formal proofs
From MaRDI portal
Publication:6159381
DOI10.1007/978-3-031-16681-5_11OpenAlexW4296050232WikidataQ114700496 ScholiaQ114700496MaRDI QIDQ6159381
Carlin MacKenzie, Jacques D. Fleuriot, Fabian Huch, James Vaughan
Publication date: 2 June 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-16681-5_11
Cites Work