Pages that link to "Item:Q2844810"

The following pages link to (Q2844810):

Displaying 3 items.

• The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
• Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions (Q4691183) (← links)
• A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)