/vcfloat

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Primary LanguageCoqGNU Lesser General Public License v3.0LGPL-3.0

No issues in this repository yet.