Skip to content
Pytest

fix duplicate theorem count #55

Sign in to view logs

fix duplicate theorem count

fix duplicate theorem count #55

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run pytest (Python 3.11)
2m 20s
2m 20s