Tactics and certificates in Meta Dedukti
From MaRDI portal
Publication:1791152
DOI10.1007/978-3-319-94821-8_9zbMath1482.68266MaRDI QIDQ1791152
Publication date: 4 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_9
03B70: Logic in computer science
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software