mdickinson/float-proofs

Experiments with Coq to prove some results about floating-point.

Coq