commit: 0eaad1903f39cb13c52c7da260f8c49ba3848112

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

Sun Apr 21 14:17:41 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 21 14:17:41 2024 -0700
tree: e7546b24f3c722b502bc0f60e0cc043d4a0c7db5
parent: 62cdb51ed5b9d8487877d5a4adbcd4659d81fc6a [diff]

fix: `ReducibilityHints.lt`

Make sure it matches the `compare` function in the kernel.
This commit also adds `ReducibilityHints.compare`

src/Lean/Declaration.lean[diff]

1 file changed

tree: e7546b24f3c722b502bc0f60e0cc043d4a0c7db5

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.