Context

Context of Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system
Processing Feedback ...