commit: 3609d2e32130bb7175d4a8aff550762b265dec53

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

Fri Jul 25 14:32:54 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Jul 25 14:32:54 2025 -0300
tree: 3ff3459c2dedf0340bb21eae3a2174ed23586b0f
parent: 4ff5e275ef86a675387689a382b03f24f8b48499 [diff]

fix: change 0 and 1 to false and true

src/runtime/object.cpp[diff]

1 file changed

tree: 3ff3459c2dedf0340bb21eae3a2174ed23586b0f

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.