Code

feat: Array/Option.unattach#5586

Code

Merged

kim-em merged 8 commits intomasterleanprover/lean4:masterfrom unattach_optionleanprover/lean4:unattach_optionCopy head branch name to clipboardOct 3, 2024

+387-24

Commits

Commits on Oct 2, 2024

• .

  kim-em

  committed
  683fa8a

  Copy full SHA for 683fa8a

• ??

  kim-em

  committed
  532c782

  Copy full SHA for 532c782

• feat: Array.unattach

  kim-em

  committed
  721617d

  Copy full SHA for 721617d

• cleanup test

  kim-em

  committed
  e095aa3

  Copy full SHA for e095aa3

• feat: Option.unattach

  kim-em

  committed
  e285cb1

  Copy full SHA for e285cb1

Commits on Oct 3, 2024

• Merge remote-tracking branch 'origin/master' into unattach_option

  kim-em

  committed
  985954b

  Copy full SHA for 985954b

• Merge remote-tracking branch 'origin/master' into unattach_option

  kim-em

  committed
  ada023a

  Copy full SHA for ada023a

• fixes after update-stage0

  kim-em

  committed
  41265d5

  Copy full SHA for 41265d5