Formally verifying FP division with Gappa (via fanf) — discussion

#formalmethods #math