Code

Projection#175

Code

Merged

Casteran merged 3 commits intomastercoq-community/hydra-battles:masterfrom Projectioncoq-community/hydra-battles:ProjectionCopy head branch name to clipboardJan 28, 2024

+8-5

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

• Data type associated with an ordinal notation is now a coercio

  Casteran

  committed
  7613b50

  Copy full SHA for 7613b50