Code

tutorial: mention @ltacfail!#509

Code

Merged

gares merged 2 commits intomasterLPCIC/coq-elpi:masterfrom fix-docLPCIC/coq-elpi:fix-docCopy head branch name to clipboardSep 30, 2023

+44-4

Commits

Commits on Sep 29, 2023

• tutorial: mention @ltacfail! (fix #501)

  gares

  committed
  b749a01

Commits on Sep 30, 2023

• fix evar count

  gares

  committed
  7eb7e0d