Scalable fine-grained proofs for formula processing
From MaRDI portal
Publication:5920090
DOI10.1007/978-3-319-63046-5_25zbMath1494.68280OpenAlexW2618311217MaRDI QIDQ5920090
Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine
Publication date: 22 September 2017
Published in: Automated Deduction – CADE 26 (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01526841/file/rep.pdf
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
This page was built for publication: Scalable fine-grained proofs for formula processing
