commit: 75318accdaa67044d63c0ee8dc7fe630386b6491

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

Tue Jun 18 10:41:11 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 18 10:41:11 2024 -0700
tree: 4cd3c23795e83ff2181643f56b87fd86e6c63bf0
parent: eb67654ae6d5fcdfd928743a4962a2e755775fd0 [diff]

test: for `isDefEq` issue

The issue has already been fixed in previous PRs.

closes #2461

tests/lean/run/2461.lean[Added - diff]

1 file changed

tree: 4cd3c23795e83ff2181643f56b87fd86e6c63bf0

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