vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
22 stars
12 watching
11 forks
Language: Coq
last commit: 2 months ago
Linked from 2 awesome lists
vcfloat VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
coq-community/awesome-coq
uhub/awesome-coq