Semi-intelligible Isar proofs from machine-generated proofs
From MaRDI portal
Publication:287340
DOI10.1007/s10817-015-9335-3zbMath1356.68178WikidataQ113901251 ScholiaQ113901251MaRDI QIDQ287340
Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury, Steffen Juilf Smolka, Albert Steckermeier
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01211748/file/paper.pdf
03B35: Mechanization of proofs and logical operations
Uses Software