## Author manuscript, published in "First International Conference on Certified Programs and Proofs (2011)" Modular SMT Proofs for Fast Reflexive Checking inside Coq ⋆ (2011)

by
Frédéric Besson
,
Pierre-emmanuel Cornilleau
,
David Pichardie
,
Inria Rennes Bretagne Atlantique