commit: c193195a057d894c19030e24a7951459fc95588c

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

Mon Feb 03 11:44:45 2025 +1100
committer: GitHub <noreply@github.com>

Mon Feb 03 00:44:45 2025 +0000
tree: b5b086aec83c66f59368197e55a2d9bd5203a423
parent: 1f6abcaf6cfa3b1fa249a8120901b9e51b6fd816 [diff]

chore: fixing short-circuiting issue in `Ordering.then` (#6907)

Thanks to @PatrickMassot for noticing the bug, and @digama0 for
diagnosing, fixing, and testing.

2 files changed

tree: b5b086aec83c66f59368197e55a2d9bd5203a423

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