Modular SMT Proofs for Fast Reflexive Checking inside Coq

by Frédéric Besson , Pierre-Emmanuel Cornilleau , David Pichardie
Citations:8 - 2 self