commit: 270f021cb7cab44b4cac99d08ed3fd7acc9f8641

[log]
author: Julia Markus Himmel <2065352+TwoFX@users.noreply.github.com>

Mon Sep 21 15:29:45 2026 +0000
committer: Julia Markus Himmel <2065352+TwoFX@users.noreply.github.com>

Mon Sep 21 15:41:08 2026 +0000
tree: c7499dba0d72d0309030f7757d32cb7e834b2cf9
parent: fd0afd83d30aa6931c2f562073e12568c2ab1d15 [diff]

feat: proper `Min` and `Max` on floats

4 files changed

tree: c7499dba0d72d0309030f7757d32cb7e834b2cf9

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.