Stream: Coq users

Topic: Ltac2 int division / mod

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

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