commit: 251d4f0ece9740b54f095e0990d28525dfa3ba90

[log]
author: Henrik Böving <hargonix@gmail.com>

Thu Jun 19 20:11:22 2025 +0200
committer: Henrik Böving <hargonix@gmail.com>

Thu Jun 19 20:15:27 2025 +0200
tree: a525278da68450b9cab7db92ade9fb4299e8f1d2
parent: 0077dd3d5569527f023865099890fa5aa9ffbe77 [diff]

chore: remove old LEAN_AUTO_THREAD_FINALIZATION workaround

3 files changed

tree: a525278da68450b9cab7db92ade9fb4299e8f1d2

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.