GitHub repository: mdickinson/float-proofs
Primary language: Coq
Created: 2015-06-24T17:47:39Z
Description: Experiments with Coq to prove some results about floating-point.