commit: b396826ac2394f63fc52df488b2a0777069626ba

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

Mon Apr 28 12:35:57 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Mon Apr 28 12:35:57 2025 +0200
tree: 78c10cb25285f8988f2185c45f02c4f3f28eb03c
parent: 0b634e59f088400e2d7d9833bbc168f4022f7254 [diff]

chore: fix statements of HashMap.getKey_insert

2 files changed

tree: 78c10cb25285f8988f2185c45f02c4f3f28eb03c

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