VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Primary LanguageCoqGNU Lesser General Public License v3.0LGPL-3.0