Skip to content

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

Open
lcrh wants to merge 1 commit into
leanprover:masterfrom
lcrh:override_safety_warning_eval_sorry
Open

Use eval! to evaluate functions that use sorry.#133
lcrh wants to merge 1 commit into
leanprover:masterfrom
lcrh:override_safety_warning_eval_sorry

Use eval! to evaluate functions that use sorry.

1097ec1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs