Modular SMT Proofs for Fast Reflexive Checking inside Coq (2011)

by Frédéric Besson , Pierre-emmanuel Cornilleau , David Pichardie
Venue:FIRST INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS
Citations:8 - 2 self