This project is read-only.

Floating point arithmetic

Sep 29 at 1:40 PM
Is there a plan to support verification of floating point arithmetic?