Skip to content

GitLab

Merged
Created by acoburn@acoburnGuest

Simplify entailment code

I am pretty sure that the integration tests fail for this, but it works in manual testing.