commit: 0bfe1a8c1a2e2eb6da0dad270d7b2bbdd5b97c3d

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

Tue Oct 15 12:18:51 2024 +1100
committer: GitHub <noreply@github.com>

Tue Oct 15 01:18:51 2024 +0000
tree: 07cc43909016b45c0942456b010ba1807644fe7d
parent: a026bc7edbc0dfd5e7d194469e0851c35169f2aa [diff]

chore: better default value for Array.swapAt! (#5705)

2 files changed

tree: 07cc43909016b45c0942456b010ba1807644fe7d

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