Increasing Automation in Coq via Trustworthy Cooperation with External Automated Reasoners: Invited Speaker at the Fifth Workshop on Proof eXchange for Theorem Proving

@inproceedings{Tinelli2017IncreasingAI,
  title={Increasing Automation in Coq via Trustworthy Cooperation with External Automated Reasoners: Invited Speaker at the Fifth Workshop on Proof eXchange for Theorem Proving},
  author={Cesare Tinelli},
  year={2017}
}

Topics from this paper.