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