commit: 3cde8e4c7e692045d455c946af2fab3085060f59

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

Mon Aug 04 05:05:21 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Aug 04 05:05:21 2025 -0700
tree: 164579166e897435ccdf20508865e9ef70a8ea3c
parent: 52148bb67d08008b31fc4b9a28ca01daf6d16dd7 [diff]

perf: use `Int.blt'` and `Int.ble'` in cutsat proof terms

src/Init/Data/Int/Linear.lean[diff]

1 file changed

tree: 164579166e897435ccdf20508865e9ef70a8ea3c

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.