Hets - the Heterogeneous Tool Set

Safe HaskellSafe

PGIP.Server.Examples

Documentation

dol :: String Source #

casl :: String Source #

owl :: String Source #

clif :: String Source #

rdf :: String Source #

tptp :: String Source #

hascasl :: String Source #

modal :: String Source #