commit: 838f7aad9b54573733e93eec0a896af42c5931e3

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

Mon May 19 22:39:56 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 19 22:39:56 2025 +1000
tree: f94ff7c3b7182b60d4b367ea08900c37c9c33fc7
parent: e9532a677ae1f3b1a5a7596e0a08feb41de7bde5 [diff]
parent: e9e700bc5448d349d875a740d90565489cf78503 [diff]

merge upstream_hsmul

tree: f94ff7c3b7182b60d4b367ea08900c37c9c33fc7

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.