Code

Coercion hook#545

Code

Closed

Tragicus wants to merge 1 commit intoLPCIC:masterLPCIC/coq-elpi:masterfrom Tragicus:coercionTragicus/coq-elpi:coercionCopy head branch name to clipboard

+28-2

Commits

Commits on Feb 15, 2024

• update coercion hook (due to hook call update in coq)

  

  qvermande

  authored and

  Tragicus

  committed
  3acc4b0