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: Jun 23 2024 at 23:01 UTC