Abstract Open access
Increasing Automation in Coq via Trustworthy Cooperation with External Automated Reasoners: Invited Speaker at the Fifth Workshop on Proof eXchange for Theorem Proving
by Cesare Tinelli
Published 12/04/2017
Electronic proceedings in theoretical computer science, 262, 13 - 13