logical-entailment-dataset
Haskell
★ 70
updated 8y ago
▣ archived
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.
No plain-English explanation yet — one is being written right now. Check back in a minute.