Natural_deduction : Main.validate

let validate_file ?(options = default_options) (path : string) : t_prf option =
        let prf = prf_of_file path in
        validate_prf ~options:options prf