commit: f0c59364f49f94bac8a8fd7d6d998d84b817128a

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 02 04:52:21 2025 +0100
committer: GitHub <noreply@github.com>

Thu Jan 02 03:52:21 2025 +0000
tree: 7001ae75df6ba347c659dab05a036caf50e17ab7
parent: c0d67e2a65ba1386cfea286bd03ceeae0a3d81f3 [diff]

feat: add `PersistentHashSet.toList` (#6501)

This PR adds `PersistentHashSet.toList`

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

1 file changed

tree: 7001ae75df6ba347c659dab05a036caf50e17ab7

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