equal
deleted
inserted
replaced
75 -- "upper bound for forks of nested proofs (multiplied by worker threads)" |
75 -- "upper bound for forks of nested proofs (multiplied by worker threads)" |
76 public option parallel_subproofs_threshold : real = 0.01 |
76 public option parallel_subproofs_threshold : real = 0.01 |
77 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
77 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
78 |
78 |
79 |
79 |
80 section "Detail of Proof Recording" |
80 section "Detail of Proof Checking" |
81 |
81 |
82 option quick_and_dirty : bool = false |
82 option quick_and_dirty : bool = false |
83 -- "if true then some tools will OMIT some proofs" |
83 -- "if true then some tools will OMIT some proofs" |
84 option skip_proofs : bool = false |
84 option skip_proofs : bool = false |
85 -- "skip over proofs (implicit 'sorry')" |
85 -- "skip over proofs (implicit 'sorry')" |