commit: c839375a9aad2b7075e39f7d655a1772bb7fc20a

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

Mon Sep 21 15:42:22 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Mon Sep 21 15:42:22 2026 -0300
tree: 988205c6a988daff92a1c68f7a511c1558876e9c
parent: e660d994888974b775eb26bd34c03cb9cfa9b2e0 [diff]

fix: wrong comments

src/runtime/object.cpp[diff]

1 file changed

tree: 988205c6a988daff92a1c68f7a511c1558876e9c

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.