User interaction with the Matita proof assistant
From MaRDI portal
Publication:2462635
DOI10.1007/s10817-007-9070-5zbMath1132.68673WikidataQ56901952 ScholiaQ56901952MaRDI QIDQ2462635
Enrico Tassi, Andrea Asperti, Stefano Zacchiroli, Claudio Sacerdoti Coen
Publication date: 3 December 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-007-9070-5
XML; Interactive theorem proving; Authoring; Digital libraries; Mathematical knowledge management; Proof assistant
DB lookup for MSC labels failed
Related Items
Uses Software