feat(lean): base specs on mathematical integers#1829

W95Psp merged 1 commit intomaincryspen/hax:mainfrom

lean-int-specscryspen/hax:lean-int-specsCopy head branch name to clipboard