commit: 431bc88d28d1c628079cb17c079e2053ee216f98

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

Fri Mar 08 12:23:14 2024 -0800
committer: GitHub <noreply@github.com>

Fri Mar 08 12:23:14 2024 -0800
tree: 77f20c184d60e3c1fdefd59d02dbccd3dc8e0bb6
parent: 5bb92370fe79df2e3f17ba81096c534e08c787fa [diff]

Update src/Lean/Meta/SynthInstance.lean

Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>

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

1 file changed

tree: 77f20c184d60e3c1fdefd59d02dbccd3dc8e0bb6

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.