showKP.hs revision 5f4055780f516bb9c63fea4ea3b3f01dc891903b
module Main where
import Comorphisms.KnownProvers
main :: IO ()
main = showAllKnownProvers