Skip to content
Create ROBOT diffs on Pull requests

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

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 #1801

This job was skipped