Data.Logic.ATP.PropExamples

data Knows a

mk_knows

mk_knows2

prime

ramsey

testPropExamples