Code

Add API for projections#644

Code

Merged

gares merged 4 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom FissoreD:add-proj-APIFissoreD/coq-elpi:add-proj-APICopy head branch name to clipboardJun 28, 2024

+61

Commits

Commits on Jun 27, 2024

• Add API for projections

  FissoreD

  committed
  1d6c69a

  Copy full SHA for 1d6c69a

Commits on Jun 28, 2024

• Update src/coq_elpi_builtins.ml

  gares

  authored
  3e59fb4

  Copy full SHA for 3e59fb4

• update builtin file

  gares

  committed
  bb5869f

  Copy full SHA for bb5869f

• changelog

  gares

  committed
  b603f7d

  Copy full SHA for b603f7d