Floating-point arithmetic in the Coq system

by Guillaume Melquiond
Citations:5 - 0 self