commit: 0fef8286915a8060c97ab06972730ed055ce159d

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

Sat Dec 28 11:36:09 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Dec 28 11:36:09 2024 -0800
tree: cb1a2c9e94b5b628648fe12e048fe14c31762036
parent: 1059307b8f81b6c1a09791b55b5d147c1ee97525 [diff]

feat: check `cgRoot` at `Inv.lean`

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

1 file changed

tree: cb1a2c9e94b5b628648fe12e048fe14c31762036

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