commit: 9048e04c40e506c27dedd63238211a5fbd9979e2

[log]
author: Joe Hendrix <joe@lean-fro.org>

Fri Mar 15 00:00:20 2024 -0700
committer: Joe Hendrix <joe@lean-fro.org>

Fri Mar 15 17:50:46 2024 -0700
tree: b26bba73058999eca4e17b4a5bd1ff84419fbfd1
parent: befe403b2bd037f50cafe45764822418b0235471 [diff]

feat: additional collection operations

8 files changed

tree: b26bba73058999eca4e17b4a5bd1ff84419fbfd1

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.