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

### Cached

### Download Links

by
Frédéric Besson
,
Pierre-emmanuel Cornilleau
,
David Pichardie

Venue: | FIRST INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS |

Citations: | 8 - 2 self |