Skip to content
Test compilation

chore(refactor): generalize, rename and move intermediate lemmas around #620

Sign in to view logs

chore(refactor): generalize, rename and move intermediate lemmas around

chore(refactor): generalize, rename and move intermediate lemmas around #620

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
16m 26s
16m 26s