Skip to content
Create ROBOT diffs on Pull requests

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved #1751

Sign in to view logs

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved #1751

This job was skipped