Code

Decision [merge]#5

Code

Merged

pPomCo merged 9 commits intomainpPomCo/belgames:mainfrom decisionpPomCo/belgames:decisionCopy head branch name to clipboardOct 20, 2023

+10,692-2,132

Commits

Commits on Oct 9, 2023

• [merge projects] WIP: merging belgames and decision

  pPomCo

  committed
  b3f3b13

• [merge projects] WIP

  pPomCo

  committed
  5dfe837

• [merge projects] WIP: +-based and max-based mass functions on SemiGroup.com_law

  pPomCo

  committed
  704dc3c

Commits on Oct 12, 2023

• [XP] Some tests with Python

  pPomCo

  committed
  95296de

Commits on Oct 16, 2023

• [Merge projects] WIP

  pPomCo

  committed
  f714357

Commits on Oct 19, 2023

• [merge projects] Some fixes

  pPomCo

  committed
  e461fdd

• [merge projects] Missing lemma

  pPomCo

  committed
  98ef516

Commits on Oct 20, 2023

• [decision] Documentation

  pPomCo

  committed
  be55d29

• [decision] Update readme

  pPomCo

  committed
  d0b5da0