ProofScript: Proof Scripting for the Masses
From MaRDI portal
Publication:3179409
DOI10.1007/978-3-319-46750-4_19zbMath1482.68271OpenAlexW2522007841MaRDI QIDQ3179409
Phil Scott, Steven Obua, Jacques D. Fleuriot
Publication date: 21 December 2016
Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/28382045/main.pdf
Related Items
Uses Software
Cites Work