Formally verifying FP division with Gappa

3 points | by todsacerdoti 2 days ago

1 comments