Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme

Cached

Download Links

by Stéphane Lescuyer , Sylvain Conchon
Citations:7 - 0 self