Code

Draft: Arithmetic Operations#28

Code

Merged

clarus merged 1 commit intomainformal-land/coq-of-python:mainfrom sanjay-adhith@arithmeticformal-land/coq-of-python:sanjay-adhith@arithmeticCopy head branch name to clipboardJun 3, 2024

+276-7

Commits

Commits on Jun 3, 2024

• Only signed-operations are not done.

  

  tfmsadhith

  authored and

  clarus

  committed
  594d875