Skip to content
Create ROBOT diffs on Pull requests

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

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

This job was skipped