commit: 3396ac91c5a43d840e2a66e58880aec36d2f88ca

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

Wed Jan 08 12:00:46 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 08 12:03:09 2025 -0800
tree: 41f36ab1002e7f2cde8f4b76c2ede83ae9d01b0c
parent: 5be241cba04e24491158e250926e06410cbbc398 [diff]

feat: add `grind` configuration options to control case-splitting

This PR adds the following configuration options to `Grind.Config`:
`splitIte`, `splitMatch`, and `splitIndPred`.

4 files changed

tree: 41f36ab1002e7f2cde8f4b76c2ede83ae9d01b0c

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).