commit: 686be911da2e139aa172c74d324b620111e5a037

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

Sat Jan 25 17:02:03 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 25 17:51:03 2025 -0800
tree: 6a2dc3f3a0e48cd83c96795f87dcb350d556b440
parent: d5e55fb73d3c35f76e675f73844476cb3f2f37d1 [diff]

fix: add missing `checkAndAddSplitCandidate`

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

1 file changed

tree: 6a2dc3f3a0e48cd83c96795f87dcb350d556b440

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