commit: d7cc0fd75469531f067d0527e1f9715df106a2e3

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

Sun Apr 13 11:48:17 2025 +1000
committer: GitHub <noreply@github.com>

Sun Apr 13 01:48:17 2025 +0000
tree: 83cf5de74b229afb516b90af2f0cc2feaf6a950c
parent: 5f8847151d6a9488b717684e89eff08d8049c339 [diff]

chore: add grind annotations for Nat/Int.min/max (#7934)

7 files changed

tree: 83cf5de74b229afb516b90af2f0cc2feaf6a950c

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