Code

example: abstract holes#514

Code

Merged

gares merged 5 commits intomasterLPCIC/coq-elpi:masterfrom abs-evarLPCIC/coq-elpi:abs-evarCopy head branch name to clipboardOct 9, 2023

+120

Commits

Commits on Oct 9, 2023

• example: abstract holes

  gares

  committed
  f41cdc3

• Update examples/example_abs_evars.v

  gares

  authored
  489f888

• Update examples/example_abs_evars.v

  gares

  authored
  2306bfd

• Update examples/example_abs_evars.v

  gares

  authored
  e5dc833

• Update examples/example_abs_evars.v

  gares

  authored
  d882ffb