commit: fd7377eb54c76b95ad746a8c76dd801fd1df5638

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

Sun Sep 29 15:33:54 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Sun Sep 29 15:33:54 2024 +1000
tree: 26873ced41cfac667e2162f68c87875a9397f74c
parent: 96adf04a62fcbd48b7ddc51829b76bd161153c73 [diff]

chore: upstream Subarray.empty

src/Init/Data/Array/Subarray.lean[diff]

1 file changed

tree: 26873ced41cfac667e2162f68c87875a9397f74c

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