commit: a8d09dad1bfd7eab0c39b1e72a5924065d618b58

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

Thu Jan 02 02:26:39 2025 +0100
committer: GitHub <noreply@github.com>

Thu Jan 02 01:26:39 2025 +0000
tree: 1e6a108048e81618838d93795f52ba664101902a
parent: f7c4edc2b7878015c33b1fd251abb384faac2c3d [diff]

fix: proof canonicalizer in `grind` (#6499)

This PR fixes the proof canonicalizer for `grind`.

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

1 file changed

tree: 1e6a108048e81618838d93795f52ba664101902a

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