Logical Entailment

This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in Python.

OpenSource

15 Feb 2018