feat: add `Context.setConfig`

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

4.75k stars 428 forks source link

Closed leodemoura closed 2 weeks ago

leodemoura commented 2 weeks ago

This PR adds Lean.Simp.Context.setConfig function.

leanprover-community-bot commented 2 weeks ago

Mathlib CI status (docs):

❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase d5adadc00ec0e1b36d691e3c124e133c096adcaa --onto 5e01e628b2ef90d8881a5ba10340032eeeabc5d4. (2024-11-14 00:35:51)