commit: 799f0c63c9af77a40dae0fa4fc048a0780fc6b5d

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

Wed Sep 09 20:38:09 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Sep 09 20:38:09 2026 -0300
tree: 8624daaa45a80e6ade34d4d5986c2898a1126a7e
parent: 28a6d080ed33636257051f7a03b0c10ae7a1b62f [diff]
parent: 712f8251012733484563d7cf5e3d70f27831b9ab [diff]

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

tree: 8624daaa45a80e6ade34d4d5986c2898a1126a7e

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.