The following pages link to (Q4989411):
Displaying 4 items.
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives (Q4916067) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)