Code

Update charon#393

Code

Merged

Nadrieril merged 1 commit intoAeneasVerif:mainAeneasVerif/aeneas:mainfrom Nadrieril:debruijn2Nadrieril/aeneas:debruijn2Copy head branch name to clipboardDec 11, 2024

+41-28

Commits

Commits on Dec 11, 2024

• Use de_bruijn_var for all type-level variables

  Nadrieril

  committed
  4bee33d

  Copy full SHA for 4bee33d