Code

fix(lean): Int Unexpanders#421

Code

Merged

sonmarcho merged 1 commit intoAeneasVerif:mainAeneasVerif/aeneas:mainfrom winston-h-zhang:whz/unexp-int-fixwinston-h-zhang/aeneas:whz/unexp-int-fixCopy head branch name to clipboardJan 17, 2025

+6-6

Commits

Commits on Jan 17, 2025

• fix: int unexpanders

  winston-h-zhang

  committed
  901dc65

  Copy full SHA for 901dc65