Update stage0

feat: add more lemmas about `Array` and `List` slices, support subsli… #6380

Sign in to view logs

Triggered via push November 20, 2025 11:11

github-merge-queue[bot]

master

Status Success

Total duration 43s

Artifacts –

update-stage0.yml

on: push