Check for copyright header

feat: `ForIn`, `fold(M)`, `drain` lemmas for iterators #13078

Sign in to view logs

Triggered via pull request May 23, 2025 14:02

datokrat

synchronize #8405

paul/iterators/3

Status Success

Total duration 49s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files