commit: 39c30b60d19837ea6e8dd1b9ac513a1e2a0d81f5

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

Sun Sep 21 18:10:52 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sun Sep 21 18:10:52 2025 -0300
tree: 1adc5da9c19673ba43eed535e54e9dc79d8bef7e
parent: de9fab6711f8ce18db5289f75d905bc516f67a0c [diff]

fix: free bufs

src/runtime/uv/udp.cpp[diff]

1 file changed

tree: 1adc5da9c19673ba43eed535e54e9dc79d8bef7e

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.