commit: cbd4956ea906e4e12ba7f9c49648d6b90cd8fde3

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Fri Sep 20 11:47:09 2024 +1000
committer: GitHub <noreply@github.com>

Fri Sep 20 11:47:09 2024 +1000
tree: b62d0ebafe7e4ea118789508254a60613987b40f
parent: 37adb7b6b3036f281f44810b6e67575bf396f748 [diff]

Update src/Lean/Meta/Instances.lean

Co-authored-by: Johan Commelin <johan@commelin.net>

src/Lean/Meta/Instances.lean[diff]

1 file changed

tree: b62d0ebafe7e4ea118789508254a60613987b40f

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