Pages that link to "Item:Q5200110"
From MaRDI portal
The following pages link to Computer Certified Efficient Exact Reals in Coq (Q5200110):
Displayed 4 items.
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Formally proving size optimality of sorting networks (Q1694569) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof (Q3453106) (← links)