2 ms·Formally verifying FP division with Gappa3 points by todsacerdoti 1y agodaniel1f2r2 1y ago[dead]