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

Cached

Download Links

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