commit: 34fe8d38058fbef17d62c70f0d5efd605edc7849

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

Wed Jul 31 18:07:14 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jul 31 18:12:56 2024 -0700
tree: 3d80b373cb5074450bf60b4357186fbf1bbc1c0b
parent: ea84c036a71a18687df1cea6c01e60acd21170a5 [diff]

perf: precise cache for `expr_eq_fn`

2 files changed

tree: 3d80b373cb5074450bf60b4357186fbf1bbc1c0b

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