commit: d2c44d52d4f1127ebe1b7805f304eb2f7eacfdcb

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Sat Jul 04 10:26:27 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sat Jul 04 10:26:27 2026 -0300
tree: 2d6ff95c0c81888770ebd7669e48c4e5b3c176be
parent: 3b90ee840123e2925e396fe7391613dcf8d7c0b9 [diff]
parent: ee23663df1464f3735567be1b51333c3cc6cd416 [diff]

Merge branch 'sofia/openssl-socket-session' into sofia/openssl-socket-async

tree: 2d6ff95c0c81888770ebd7669e48c4e5b3c176be

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.