commit: d8b4d88e92f416477ebe1bfd6fd830ae9e4c5215

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

Mon Jan 06 17:32:17 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 06 17:32:17 2025 -0800
tree: eb4621139980fd992f799bab6a46916b4d02683a
parent: 739211cea0147a7c6c304405b4981bb2ea924f1b [diff]

fix: minor issue

src/Lean/Meta/Tactic/Grind/Split.lean[diff]
tests/lean/run/grind_split.lean[Added - diff]

2 files changed

tree: eb4621139980fd992f799bab6a46916b4d02683a

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