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: Apr 19 2024 at 04:02 UTC