You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The floating point operations are only partially implemented using flocq. The current extraction only uses OCaml floats rather than rely on the direct extraction of floating point operations directly from flocq.
The text was updated successfully, but these errors were encountered:
The floating point operations are only partially implemented using flocq. The current extraction only uses OCaml floats rather than rely on the direct extraction of floating point operations directly from flocq.
The text was updated successfully, but these errors were encountered: