Code

Discharge on the fly#72

Code

Open

herbelin wants to merge 1 commit intocoq:mastercoq/rfcs:masterfrom herbelin:discharge-on-the-flyherbelin/ceps:discharge-on-the-flyCopy head branch name to clipboard

+109

Commits

Commits on Jul 31, 2023

• CEP on discharging declarations on the fly

  herbelin

  committed
  90f3ba4

  Copy full SHA for 90f3ba4