Skip to content

fix(arith): Do not overly tighten bounds over infinite domains#1025

Merged
Halbaroth merged 1 commit intoOCamlPro:nextfrom bclement-ocp:bclement/issue-1022Jan 9, 2024
+12-30

Commits

Commits on Jan 9, 2024