FOL
A small DSL for constructing TPTP First Order Logic problems from Haskell.
First Order Logic in Haskell
A small DSL for constructing TPTP First Order Logic problems from Haskell.
First Order Logic in Haskell
BSD 3-Clause "New" or "Revised" License