The reflective Milawa theorem prover is sound (down to the machine code that runs it)
From MaRDI portal
Publication:286790
DOI10.1007/s10817-015-9324-6zbMath1356.68186MaRDI QIDQ286790
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9324-6
Related Items
Uses Software