commit: 63dea907aa54dc36f0862425466b305cae081273

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

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

Sun Dec 15 21:36:03 2024 +1100
tree: 90632b09768d47ace33610ae34a1069d22668469
parent: 195a93c22da3734b72b34af4fb842f3567e7c3ee [diff]

merge master

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

1 file changed

tree: 90632b09768d47ace33610ae34a1069d22668469

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