GitHub repository: pascal-cuoq/abstract_floats
Primary language: OCaml
Created: 2016-02-24T18:33:02Z
Description: Sets of floats and operations over them