Pages that link to "Item:Q2804942"
From MaRDI portal
The following pages link to Case Analysis of Higher-Order Data (Q2804942):
Displaying 4 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Programming Inductive Proofs (Q3058448) (← links)
- Inductive Beluga: Programming Proofs (Q3454100) (← links)
- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (Q5747747) (← links)
