commit: efd3bcbaf51fadebbe78d1271cf17bf9e270de19

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

Tue Dec 30 10:13:33 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 30 10:15:20 2025 -0800
tree: 3f81c2d3f2bcf59abce65939badce78cafd97d30
parent: 2a28cd98fc2bcf892f6e039d02b7cd5a9368163b [diff]

fix: bug at `Name.beq`

This PR fixes a bug at `Name.beq` reported by gasstationcodemanager@gmail.com

src/runtime/object.cpp[diff]
tests/lean/run/name_eq_bug.lean[Added - diff]

2 files changed

tree: 3f81c2d3f2bcf59abce65939badce78cafd97d30

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.