commit: cede245fad3340d65f87efc3658e3c5540f74ef7

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

Wed Oct 02 16:02:11 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Oct 02 16:02:11 2024 +1000
tree: c2e9bdb9d9b2aca66891c5ffac2859f7f3f56c03
parent: 6a59a3a3733f359ca1aa90d0d3e81c6c0a44b469 [diff]

chore: simp lemmas for HashMap Insert/Singleton

6 files changed

tree: c2e9bdb9d9b2aca66891c5ffac2859f7f3f56c03

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