commit: 615bdb0907b56b72786ed64297500acfc954e070

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

Mon Mar 31 15:47:37 2025 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Mar 31 15:51:05 2025 +0200
tree: 4341f9798b112e071bc78ac65bf56bdc28dd2934
parent: 68f04e19ea55b571e299444b2d40dca5c190a2e3 [diff]

fix: sanitize build and mimalloc

2 files changed

tree: 4341f9798b112e071bc78ac65bf56bdc28dd2934

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