Benchmarks for Primitive Floats in Coq

This repository gathers the source code of benchmarks (and guidelines to run them using Docker) for the conference paper Primitive Floats in Coq [G. Bertholon, É. Martin-Dorel and P. Roux], to appear in ITP 2019.