commit: 3a62bce10999e5b05fc7b59c4ce8ba7dcc15681e

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

Fri Jul 04 22:56:46 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jul 04 22:56:46 2025 -0700
tree: f3ffa415d318de18e35f9f65e83dbec0e2597a75
parent: bebffc0d20ceff2364e1338a3b6d3222e687826e [diff]

chore: remove old `grind` normalizers

src/Init/Grind/Norm.lean[diff]

1 file changed

tree: f3ffa415d318de18e35f9f65e83dbec0e2597a75

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.