Skip to content

feat: missing lemmas about List's BEq #6946

feat: missing lemmas about List's BEq

feat: missing lemmas about List's BEq #6946

Triggered via pull request November 25, 2024 22:33
Status Success
Total duration 50s
Artifacts

check-stage0.yml

on: pull_request
check-stage0-on-queue
42s