Pages that link to "Item:Q5327337"
From MaRDI portal
The following pages link to Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation (Q5327337):
Displayed 5 items.
- How to get more out of your oracles (Q1687729) (← links)
- Formally proving size optimality of sorting networks (Q1694569) (← links)
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker (Q2945629) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)