Natural_deduction : Main.validate

let validate_stdin ?(options = default_options) () : t_prf option =
        let prf = prf_of_stdin () in
        validate_prf ~options:options prf