Stream: Coq users

Topic: coq-interval


view this post on Zulip Jason Gross (Jul 28 2023 at 22:23):

Are there any helper tactics for converting a goal in terms of primitive floats into a form that can be handled by the interval tactic?

view this post on Zulip Guillaume Melquiond (Jul 29 2023 at 04:26):

Jason Gross said:

Are there any helper tactics for converting a goal in terms of primitive floats into a form that can be handled by the interval tactic?

No yet. We have one in a private repository. Hopefully, it will be ready for the next minor release of CoqInterval.


Last updated: Jun 23 2024 at 04:03 UTC