Code

Corrections in doc#177

Code

Merged

Casteran merged 4 commits intomastercoq-community/hydra-battles:masterfrom correctionsInDoccoq-community/hydra-battles:correctionsInDocCopy head branch name to clipboardJan 29, 2024

+36-35

Commits

Commits on Jan 26, 2024

• minor change

  Casteran

  committed
  11b82b1

• Merge branch 'master' of https://github.com/coq-community/hydra-battles

  Casteran

  committed
  a685358

Commits on Jan 28, 2024

• Merge branch 'master' of https://github.com/coq-community/hydra-battles

  Casteran

  committed
  6c4e5cc

Commits on Jan 29, 2024

• small changes in doc

  Casteran

  committed
  37876ee