VeriNum / vcfloat

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
28Updated last month

Alternatives and similar repositories for vcfloat:

Users that are interested in vcfloat are comparing it to the libraries listed below