Code

Update doc#178

Code

Merged

Casteran merged 9 commits intomastercoq-community/hydra-battles:masterfrom updateDoccoq-community/hydra-battles:updateDocCopy head branch name to clipboardFeb 7, 2024

+284-272

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

Commits on Jan 30, 2024

• simplify the proposition 'alpha < phi0 beta'

  Casteran

  committed
  ac1e16d

• simplify the proposition 'alpha < phi0 beta'

  Casteran

  committed
  ef62b06

• improve Alectryon output

  Casteran

  committed
  2815358

Commits on Feb 2, 2024

• minor changes in pdf doc

  Casteran

  committed
  8e7ea1e

Commits on Feb 7, 2024

• minor changes in pdf doc

  Casteran

  committed
  c702ca2