commit: 2ca5c4ae23336bc03751113f58772e4e7837b43d

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

Wed May 08 08:14:18 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed May 08 08:14:18 2024 -0700
tree: 0bfb834ed802e6382ffe6e4858f9b9e1b2c370d3
parent: 35d9307df30c1cbd2ab1103e083c21dd70dbd191 [diff]

chore: remove dead function

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

1 file changed

tree: 0bfb834ed802e6382ffe6e4858f9b9e1b2c370d3

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