commit: 432d3a897d23f576596c8beff29905c34d77a16b

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Aug 14 09:58:18 2024 +0200
committer: GitHub <noreply@github.com>

Wed Aug 14 09:58:18 2024 +0200
tree: 0dfabc488becc6ff369e7d2661cc0e61ae0ca5bd
parent: 8c96d213f3089ac2352ed95e79645f4cdbd70ebf [diff]

fix: macOS: install name of libleanshared_1

2 files changed

tree: 0dfabc488becc6ff369e7d2661cc0e61ae0ca5bd

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