let
help =
"Set user's file for saving Coq proofs."