let
help =
"display the list of emitters for available proofs"