commit: fe19b1889edc7a5ead597aea30e26d09776737d5

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

Tue Feb 18 22:04:10 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Feb 18 23:19:24 2025 +1100
tree: 04f9b0616f9593105563ed8250657bc04ebfed44
parent: ce441a2b78e0348a3bc01d7df823842f597ddbc5 [diff]

chore: use as[i] instead of as.get i

6 files changed

tree: 04f9b0616f9593105563ed8250657bc04ebfed44

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