commit: 84cdab1da42bba27ad1634e47f7c753840927cf7

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

Wed Jan 08 17:55:20 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 08 18:01:40 2025 -0800
tree: 200fafd967aae73a0b874bb8e133d72ca9c9515d
parent: 0afa1d1e5dda3cfedd4a847421271fef64e9743c [diff]

fix: `grind` canonicalizer

This PR fixes a bug in the `grind` canonicalizer.

3 files changed

tree: 200fafd967aae73a0b874bb8e133d72ca9c9515d

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