commit: 822dc5ba3d182b198a87f41f7961628460009c73

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

Mon Sep 30 16:14:18 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 30 16:14:18 2024 +1000
tree: f396cac330b2b5551afcaa245f70f265745063d8
parent: 56ba39d68a87ef68a794c4dc307f5ceee95f261e [diff]

chore: fix Array.modify lemmas

4 files changed

tree: f396cac330b2b5551afcaa245f70f265745063d8

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