commit: 4ff5e275ef86a675387689a382b03f24f8b48499

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

Fri Jul 25 13:40:48 2025 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Jul 25 13:40:48 2025 -0300
tree: 91b065051c1e0d29cc8f80fb9eeefa411b4c436a
parent: 24f2699e78e03e309785b64516230e862d4a05f6 [diff]

feat: add same obj comparison

src/runtime/object.cpp[diff]

1 file changed

tree: 91b065051c1e0d29cc8f80fb9eeefa411b4c436a

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.