commit: 42990d011bdad77229e9372e4f1d105eff5f3313

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

Wed Dec 25 19:33:03 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Dec 25 19:33:03 2024 -0800
tree: e965b8c0a6fbf93bbe346b267d278d8bfe18555c
parent: 0ebe9e5ba3c1603cb42f1180a6584bf130ae6ce5 [diff]

chore: check whether pointer equality implies structural equality in `grind`

This PR checks whether in the internal state of the `grind` tactic
pointer equality implies structural equality.

2 files changed

tree: e965b8c0a6fbf93bbe346b267d278d8bfe18555c

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