commit: 6d117b725b7acbbbba973af94b3878927c96ef44

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

Sun Feb 18 22:37:45 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Sun Feb 18 22:37:45 2024 -0800
tree: 61ac4a2b5852d763875e2d3835da5ee8d38d5382
parent: 299c162df4a1e27da34a9cba8df8a879a16ec052 [diff]

fix: fix non-gmp path

2 files changed

tree: 61ac4a2b5852d763875e2d3835da5ee8d38d5382

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.