Code

Adapt w.r.t. coq/coq#19228.#62

Code

Merged

JasonGross merged 1 commit intoJasonGross:testedJasonGross/neural-net-coq-interp:testedfrom ppedrot:template-no-sup-constraintppedrot/neural-net-coq-interp:template-no-sup-constraintCopy head branch name to clipboardJul 27, 2024

+1-1

Commits

Commits on Jul 27, 2024

• Adapt w.r.t. coq/coq#19228.

  ppedrot

  committed
  277bb66