Code

Stdpp compat#110

Code

Draft

Casteran wants to merge 5 commits intomastercoq-community/hydra-battles:masterfrom stdpp-compatcoq-community/hydra-battles:stdpp-compatCopy head branch name to clipboard

+226-188

Commits

Commits on Dec 14, 2021

• removing is_true coercion

  Casteran

  committed
  5d729b8

• removing is_true coercion

  Casteran

  committed
  aeecfc0

Commits on Dec 15, 2021

• Don't require Stdpp in old hydra-battles files

  Casteran

  committed
  67a38a7

Commits on Dec 16, 2021

• Try to use some STDPP definitions, remove is_true coercion

  Casteran

  committed
  4615d31

• fix a bug

  Casteran

  committed
  5221343