issues
search
epfl-lara
/
lisa
Proof assistant based on first-order logic and set theory
Apache License 2.0
33
stars
18
forks
source link
Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity
#45
Closed
cache-nez
closed
2 years ago
cache-nez
commented
2 years ago
Analogous to the existing requirement in FunctionTerm.
Analogous to the existing requirement in FunctionTerm.