Realization for Isabelle
For floating_point, I did not find the realization for Isabelle. There seems to be realization in Coq for this library: there could be one for Isabelle.
For floating_point, I did not find the realization for Isabelle. There seems to be realization in Coq for this library: there could be one for Isabelle.