commit: 6b757b637fd990811407b00f1334c573ffebfc12

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Sep 06 12:05:17 2024 +0200
committer: Henrik Böving <hargonix@gmail.com>

Fri Sep 06 12:05:17 2024 +0200
tree: ccac6f7bd5a72c78c2844edda6b75ed590b11c62
parent: 8c0fa1fcb037f14ab21aa4267f42a5cc03b6dd11 [diff]

HashSet.getKey -> HashSet.get

4 files changed

tree: ccac6f7bd5a72c78c2844edda6b75ed590b11c62

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