The following pages link to (Q4452126):
Displaying 5 items.
- Implementing dynamic-cut in \(\mathcal{T}OY\) (Q2873795) (← links)
- (Q3372480) (← links)
- (Q3372485) (← links)
- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme (Q3655207) (← links)
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (Q4645809) (← links)