Pages that link to "Item:Q3454100"
From MaRDI portal
The following pages link to Inductive Beluga: Programming Proofs (Q3454100):
Displaying 7 items.
- Harpoon: mechanizing metatheory interactively (Q2055903) (← links)
- Semantical analysis of contextual types (Q2200843) (← links)
- Programs Using Syntax with First-Class Binders (Q2988654) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- (Q5111317) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)
- (Q6060676) (← links)
