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: Feb 06 2023 at 13:03 UTC