Code

feat: use usize for array types#4802

Code

Merged

nomeata merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom fgdorais:array-usize-altfgdorais/lean4:array-usize-altCopy head branch name to clipboardJul 21, 2024

+8-9

Commits

Commits on Jul 21, 2024

• feat: use usize for arrays

  fgdorais

  committed
  ceccd74

  Copy full SHA for ceccd74