Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
From MaRDI portal
Publication:5170238
DOI10.1016/j.entcs.2012.06.009zbMath1294.68129WikidataQ113318095 ScholiaQ113318095MaRDI QIDQ5170238
Publication date: 22 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.06.009
Uses Software