Reviews
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Search similar apps
License
GNU Lesser General Public License v3.0
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
GNU Lesser General Public License v3.0