Use eval! to evaluate functions that use sorry.#133

lcrh wants to merge 1 commit into

leanprover:masterleanprover/theorem_proving_in_lean4:masterfrom

lcrh:override_safety_warning_eval_sorrylcrh/theorem_proving_in_lean4:override_safety_warning_eval_sorryCopy head branch name to clipboard