commit: 589487bbcf4020e94751fe6bf5de3500e40ba961

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Nov 13 16:11:37 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Nov 13 16:11:37 2024 -0800
tree: e7ad71cd4e367adb11ed592838b36d71907cb553
parent: d5adadc00ec0e1b36d691e3c124e133c096adcaa [diff]

feat: add `Context.setConfig`

src/Lean/Meta/Tactic/Simp/Types.lean[diff]

1 file changed

tree: e7ad71cd4e367adb11ed592838b36d71907cb553

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).