Natural_deduction : Main.default

let default_options : t_options = {
        verbose = false;
        discharge = false;
        undischarge = false;
        logic = Classical;
        quiet = false;
}