feat(lean): Add support for nonliteral array sizes#1826

abentkamp merged 1 commit intomaincryspen/hax:mainfrom

lean-array-sizecryspen/hax:lean-array-sizeCopy head branch name to clipboard