Floating-point arithmetic in the Coq system

by Guillaume Melquiond
Citations:6 - 0 self