Skip to content

feat: finish alignment of List/Array/Vector.append lemmas#6617

Merged
kim-em merged 1 commit intomasterfrom finish_appendJan 13, 2025

Commits

Commits on Jan 13, 2025