commit: 40111c3e61352b15338d3a737452748fbf2933b5

[log]
author: Julia Markus Himmel <2065352+TwoFX@users.noreply.github.com>

Tue Nov 10 08:17:13 2026 +0000
committer: Julia Markus Himmel <2065352+TwoFX@users.noreply.github.com>

Tue Nov 10 12:03:40 2026 +0000
tree: 38a55aa4a04d950182ecc651d06de00e186520d4
parent: d1f2596dc135737dde5f317ab5e2977debed009c [diff]

Build less and check linked against headers for OpenSSL

5 files changed

tree: 38a55aa4a04d950182ecc651d06de00e186520d4

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.