Code

feat: Lean.RArray#6070

Code

Merged

nomeata merged 5 commits intomasterleanprover/lean4:masterfrom joachim/RArray-defleanprover/lean4:joachim/RArray-defCopy head branch name to clipboardNov 14, 2024

+146

Commits

Commits on Nov 13, 2024

• feat: Lean.RArray

  nomeata

  committed
  06f9423

  Copy full SHA for 06f9423

• Apply suggestions from code review

  nomeata

  authored
  c5cfcb8

  Copy full SHA for c5cfcb8

Commits on Nov 14, 2024

• Docstrings and polish

  nomeata

  committed
  b12e220

  Copy full SHA for b12e220

• Merge branch 'master' of github.com:leanprover/lean4 into joachim/RArray-def

  nomeata

  committed
  676db5c

  Copy full SHA for 676db5c

• Array.get api change

  nomeata

  committed
  7644209

  Copy full SHA for 7644209