Stream: Coq users

Topic: Extracting Reals to floats

Avi Shinnar (Dec 23 2020 at 02:16):

Is there any support or library for extracting a development over the Reals (R) to ocaml, using floating point for the real variables and operations? This obviously is not "correct", but it is very useful.

Last updated: Oct 05 2023 at 02:01 UTC