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