Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result
Compare
user avatar
Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity
Katja Goltsova authored 
Analogous to the existing requirement in FunctionTerm.
4be9a1aa
History
user avatar 4be9a1aa
History
Name Last commit Last update
..