Code

Use ZArith convention for ~$ and ~$$#877

Code

Merged

bclement-ocp merged 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom bclement-ocp:bclement/zarithSbclement-ocp/alt-ergo:bclement/zarithSCopy head branch name to clipboardOct 13, 2023

+24-24

Commits

Commits on Oct 12, 2023

• Use ZArith convention for ~$ and ~$$

  Show description for f99dde9
  bclement-ocp

  committed
  f99dde9