/entailment

Encoding to check entailment

Primary LanguageC

Watchers