aboutsummaryrefslogtreecommitdiff
path: root/theories/micromega/ZifyInt63.v
AgeCommit message (Expand)Author
2020-10-20[zify] Use flag for Z.to_euclidean_division_equations.Frédéric Besson
2020-10-20[zify] Add support for Int63.intFrédéric Besson
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:54:58 +0000