commit: a829e8b9b8d769a72561a668ac1ee7318191abbf

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

Sun Nov 24 14:06:36 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Sun Nov 24 14:06:36 2024 +1100
tree: 599c44f2c201880b1fb7c5dcb13e83f50a51bbed
parent: bf13b24692ce5b96cb8a9fd4a3d11c0e170dbccf [diff]

chore: missing deprecations for Lean.HashMap

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

1 file changed

tree: 599c44f2c201880b1fb7c5dcb13e83f50a51bbed

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