Experiments with Coq to prove some results about floating-point.
Primary LanguageCoq
This repository is not active