Skip to content

Benchmarks for Primitive Floats in Coq

Latest
Compare
Choose a tag to compare
@erikmd erikmd released this 29 Jun 23:40
· 104 commits to master since this release

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.