Pages that link to "Item:Q2852042"
From MaRDI portal
The following pages link to A large-scale experiment in executing extracted programs (Q2852042):
Displaying 8 items.
- Formally proving size optimality of sorting networks (Q1694569) (← links)
- Tool support for proof engineering (Q2867938) (← links)
- Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof (Q3453106) (← links)
- Extraction in Coq: An Overview (Q3507450) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- (Q4802337) (← links)
- Extracting functional programs from Coq, in Coq (Q5101927) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)