Stream: Coq users

Topic: Ltac2 int division / mod

view this post on Zulip Kyle Ehrlich (Jan 27 2021 at 01:05):

Is there any particular reason that there are no functions for integer division in Ltac2.Int?
This seems especially odd since the exception Division_by_zero is declared

view this post on Zulip Pierre-Marie Pédrot (Jan 27 2021 at 10:18):

Looks like an oversight, please open a bug report.

Last updated: Oct 13 2024 at 01:02 UTC