The following pages link to Benjamin Delaware (Q2819859):
Displayed 5 items.
- Fiat (Q2819861) (← links)
- Meta-theory à la carte (Q2931797) (← links)
- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs (Q5048997) (← links)
- Modular monadic meta-theory (Q5244814) (← links)
- RHLE: modular deductive verification of relational \(\forall \exists\) properties (Q6176567) (← links)