commit: 13d0627e30fb24814340badbfb5ce2c19a7ddd8f

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

Wed Mar 12 14:57:50 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Mar 12 14:57:50 2025 +1100
tree: ec0bc780c34d853f87c3f3ed7e32c7c3aeb3d02d
parent: 5596d8d2d004297cf6054fd0ba5d0f80dd876ff9 [diff]
parent: 5e15f842baff313864507230255dce9f34d78b49 [diff]

Merge branch 'use_emptyset' into hashmap_emptyWithCapacity

tree: ec0bc780c34d853f87c3f3ed7e32c7c3aeb3d02d

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