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.

View paperView source on GitHub

OpenSource

15 Feb 2018