commit: be16ca1906ee6cfc2d82ec21a5e078a6d28b7888

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

Thu Jan 16 16:42:39 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 16 16:42:39 2025 -0800
tree: a2f73721e26f99d3bd6ddea5d3ca91da2504c41a
parent: 9fe4400d3df656cb60e9ac5f5795e919d3c59142 [diff]

fix: `getTheoremKindFromOpt`

src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean[diff]

1 file changed

tree: a2f73721e26f99d3bd6ddea5d3ca91da2504c41a

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