Skip to content
CI

mark symbols that should skip congruence axioms explicitly #1189

Sign in to view logs

mark symbols that should skip congruence axioms explicitly

mark symbols that should skip congruence axioms explicitly #1189

Run time

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