The following pages link to From Proposition to Program (Q2798255):
Displaying 6 items.
- Proof reflection in Coq (Q1868509) (← links)
- (Q2754039) (← links)
- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme (Q3655207) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- Extending Coq with Imperative Features and Its Application to SAT Verification (Q5747643) (← links)
- (Q5875421) (← links)