commit: 8965f1709ffb0e40e20f8e0c56149c7df1a20720

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 17 13:00:00 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 17 13:00:00 2024 -0700
tree: cc7c00e776037961db14473a9efe12df8ed5a635
parent: 1cf71e54cf268e87cf5c43c830d953f5c88e6c39 [diff]

chore: missing instances

cc @shigoel

2 files changed

tree: cc7c00e776037961db14473a9efe12df8ed5a635

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