GitHub repository: validsdp/benchs-primitive-floats
Primary language: Coq
Created: 2019-03-30T16:48:41Z
Description: Benchmarks for https://github.com/validsdp/coq/tree/primitive-floats