commit: effa82ca0ac56fca516eb18ca0023b2117e088a2

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

Mon May 13 11:05:05 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon May 13 11:05:05 2024 -0700
tree: c12540b0d270e39c76f632d44251a6232efe4f95
parent: 7db8e6482e1dc46fd1070b3bf549112f02a4c05e [diff]

perf: simplify canonicalizer

src/Lean/Meta/Canonicalizer.lean[diff]

1 file changed

tree: c12540b0d270e39c76f632d44251a6232efe4f95

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