commit: 321f8c0be9a8921497887258df72dd6b6221c2a5

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Apr 12 10:16:51 2024 +0200
committer: Henrik Böving <hargonix@gmail.com>

Fri Apr 12 10:16:51 2024 +0200
tree: 7226799087c7d8567e456c11bbb24f3a66e39a73
parent: 2e3d52333241e01dfd09fd921cb0e26fb61fd145 [diff]

perf: fix linearity in (HashSet|HashMap).erase

2 files changed

tree: 7226799087c7d8567e456c11bbb24f3a66e39a73

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.