Hacker Next
Formally verifying a floating-point division routine with Gappa – part 1community.arm.com
32 points by montalbano 3 days ago | 4 comments