Code

Change wording in documentation#763

Code

Closed

patrick-nicodemus wants to merge 1 commit intoLPCIC:masterLPCIC/coq-elpi:masterfrom patrick-nicodemus:patch-3patrick-nicodemus/coq-elpi:patch-3Copy head branch name to clipboard

+1-1

Commits

Commits on Jan 30, 2025

• Change wording in documentation

  Show description for ce43486
  patrick-nicodemus

  authored
  ce43486

  Copy full SHA for ce43486