commit: c119c5ba8dc4c6c3bb7934fd1ec89d8bcd0e78c4

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

Thu Nov 12 11:07:11 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Nov 12 14:58:20 2026 -0300
tree: 1290324aaeeb8c3dd992ae614a51a54a7fe47b84
parent: a77101bcd5e49b2c7629bf531fe04e5036fe2ee8 [diff]

feat: remove duplicated states

7 files changed

tree: 1290324aaeeb8c3dd992ae614a51a54a7fe47b84

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.