VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.