Similar Items: Type classes for efficient exact real arithmetic in Coq
- Logic for exact real arithmetic
- Coinductive Formal Reasoning in Exact Real Arithmetic
- From coinductive proofs to exact real arithmetic: theory and applications
- Deciding Kleene Algebras in Coq
- Computable analysis and notions of continuity in Coq
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation