commit: 5a19c7741f9deb98737998a15ac4b98b97db645f

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

Mon May 20 18:45:01 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon May 20 18:45:01 2024 -0700
tree: 09561658548cb1a4350dbc41ce2ca2254193ef92
parent: 3305d0bf9d1084edc4fe14e5f92a3d7389aad8f1 [diff]

feat: `grind.cases` tactic

4 files changed

tree: 09561658548cb1a4350dbc41ce2ca2254193ef92

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