Code

E0 coercion#176

Code

Draft

Casteran wants to merge 5 commits intomastercoq-community/hydra-battles:masterfrom E0Coercioncoq-community/hydra-battles:E0CoercionCopy head branch name to clipboard

+68-64

Commits

Commits on Jan 26, 2024

• minor change

  Casteran

  committed
  11b82b1

  Copy full SHA for 11b82b1

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

  Casteran

  committed
  a685358

  Copy full SHA for a685358

Commits on Jan 28, 2024

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

  Casteran

  committed
  6c4e5cc

  Copy full SHA for 6c4e5cc

Commits on Jan 29, 2024

• small changes in doc

  Casteran

  committed
  37876ee

  Copy full SHA for 37876ee

• small changes; hide draft pages on goedel proof

  Casteran

  committed
  9517db9

  Copy full SHA for 9517db9