commit: 6612ee02345e32e77cdba66ab9a60bb620d5b99f

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Fri Feb 16 12:06:45 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Feb 16 12:06:45 2024 +1100
tree: 4583ed8544c4e6c8b786cdbd37b90accd9ef48a7
parent: e29d75a9610d26e025d01d453989de5110cfb985 [diff]

chore: upstream HashSet.merge

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

1 file changed

tree: 4583ed8544c4e6c8b786cdbd37b90accd9ef48a7

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.