do not include congruence axioms for unused symbols #1172
Triggered via pull request
November 16, 2023 13:38
MichaelRawson
Status
Success
Total duration
13m 14s
Artifacts
–