commit: 5f99bfaf4768e27d094acf419f52dd60759d8b2f

[log]
author: Joe Hendrix <joe@lean-fro.org>

Tue Mar 05 16:33:14 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Tue Mar 05 16:34:38 2024 -0800
tree: 0670dca09de478673e2a49085595b736c88b764c
parent: cd53b7a62eb0c4ad6283c20f69f166c937f2efbd [diff]

fix: Thread unique name generator through library_search init

2 files changed

tree: 0670dca09de478673e2a49085595b736c88b764c

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.