commit: 54d73be6e644a015fc70964c262c57ba8748523e

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

Sat Mar 26 10:01:03 2022 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Sat Mar 26 15:20:18 2022 +0100
tree: 6a9e72c4423e8f46fab91b8a5f428d69b2ff4adb
parent: 99b715615541f714704dda6d76fad2be246d0012 [diff]

chore: fix USE_GMP=OFF by removing GMP linking customization

10 files changed

tree: 6a9e72c4423e8f46fab91b8a5f428d69b2ff4adb

README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.