commit: 467026ae617f3e96b459998e588d41facb07330f

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

Thu Oct 15 09:53:47 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Oct 15 09:53:47 2026 -0300
tree: d8b20643ccae2617555d2a5389ed4e978d97d9d0
parent: aa2c68d9c63e016168c49aa35dd0fa6a7489d1ad [diff]

fix: context string hash

src/Std/Internal/SSL/Context.lean[diff]

1 file changed

tree: d8b20643ccae2617555d2a5389ed4e978d97d9d0

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.