commit: b235d0893a9958ca761591e6431f607eda47f644

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

Sat Oct 10 16:11:01 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sat Oct 10 16:11:01 2026 -0300
tree: 39944649ce3ee216870da2ec01c2992f70798156
parent: 89cd6e1e75c6c02647981f503a72d0397813fb9d [diff]

refactor: free libuv system query results with RAII

3 files changed

tree: 39944649ce3ee216870da2ec01c2992f70798156

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.