commit: 7644209af491d9956fc106744f837949f9469493

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Thu Nov 14 11:35:40 2024 +0100
committer: Joachim Breitner <mail@joachim-breitner.de>

Thu Nov 14 11:35:40 2024 +0100
tree: 0b1edca1c86eeb9f07ce13d927a1751b2ac18a76
parent: 676db5c1e4b350c13208c0e531e0463b232642e2 [diff]

Array.get api change

src/Lean/Data/RArray.lean[diff]

1 file changed

tree: 0b1edca1c86eeb9f07ce13d927a1751b2ac18a76

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