Skip to content
Jira sync

unwanted reduction when checking simp_arith proof objects #171

Sign in to view logs

unwanted reduction when checking simp_arith proof objects

unwanted reduction when checking simp_arith proof objects #171

Run time

Learn about OS pricing on GitHub Actions
Job Run time
jira-sync
3s
3s