Idris2Doc : Data.Logic.Propositional

Data.Logic.Propositional