Skip to content
Check for copyright header

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-lean-files
36s
36s