commit: 4350809c687c5d8ce0568130f2d184c9c62a2ad3

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 24 12:22:57 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 24 12:22:57 2024 +1000
tree: b54f6d34dbc668e0320940f37be96bb90a74b465
parent: 94360a72b378525626afe72d0d50963208cc4c26 [diff]

chore: minimization of regression in Mathlib.Order.CompleteLatticeIntervals

tests/lean/run/3965_3.lean[Added - diff]

1 file changed

tree: b54f6d34dbc668e0320940f37be96bb90a74b465

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.