Skip to content
Create ROBOT diffs on Pull requests

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

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

This job was skipped