Stream: Coq users

Topic: Extracting Reals to floats


view this post on Zulip 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: Jan 28 2023 at 05:02 UTC