commit: bb4d47d0aa917dfbc021f5964624837831c9aea3

[log]
author: Kim Morrison <kim@tqft.net>

Sun Dec 15 22:20:21 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Sun Dec 15 22:20:21 2024 +1100
tree: 80c504853aa1561a81c0f810e0de52be2e39d7a2
parent: 63dea907aa54dc36f0862425466b305cae081273 [diff]

simplifications

src/Init/Data/Range.lean[diff]

1 file changed

tree: 80c504853aa1561a81c0f810e0de52be2e39d7a2

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