Add simple entailment regime and associated tests
Julien LepillerFri Apr 03 03:36:30+0200 2020
63e0b0f
iri.scmiri.scm