commit: e9e700bc5448d349d875a740d90565489cf78503

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

Mon May 19 21:26:16 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 19 21:26:16 2025 +1000
tree: 8bf493c8bec82acea267401ba4c9d93b0e06b4cb
parent: 8f6bf7f796bb9ed5508c5dab4ab54ba795280b51 [diff]

adjust instances

src/Init/Prelude.lean[diff]

1 file changed

tree: 8bf493c8bec82acea267401ba4c9d93b0e06b4cb

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.