commit: f870752b59f1759182dc760299c901ebfda40c0b

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

Sun Aug 11 17:29:15 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 11 17:30:54 2024 -0700
tree: 1637c7ec254ff95438b8b7ce3d1cbc0e9f194d63
parent: 4236d8a85b17fe1928613a1c300f89ace40a81f5 [diff]

chore: fix typo in hash code for `Expr` equality test

src/kernel/expr_eq_fn.cpp[diff]

1 file changed

tree: 1637c7ec254ff95438b8b7ce3d1cbc0e9f194d63

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