Closed hansjoergschurr closed 3 months ago
This is because it doesn't actually use the or operator. Instead it operates directly on the clause. See the conversation here: https://gitlab.uliege.be/verit/alethe/-/issues/45
or
This is because it doesn't actually use the
oroperator. Instead it operates directly on the clause. See the conversation here: https://gitlab.uliege.be/verit/alethe/-/issues/45