commit: c4350b8ca1f01c5ec16888fa861c3f5bf8ef8e86

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

Sat Aug 15 23:02:31 2026 -0500
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Aug 15 23:02:31 2026 -0500
tree: 1fc1bad27db0abe8b1ffe8fde331e2193bde324a
parent: 57eb1ae3d0d440f29d1f35e9699c6df4d46c2620 [diff]

feat: drain raw facts before case splitting

src/Lean/Elab/Tactic/Grind/BuiltinTactic.lean[diff]

1 file changed

tree: 1fc1bad27db0abe8b1ffe8fde331e2193bde324a

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.