commit: 7c007d685965e787e810ded9743cb01620a82bff

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

Fri Jun 12 19:24:24 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Jun 12 19:24:24 2026 -0300
tree: bb80e4f8d73719ea26cb2f82c05afcc6b2a2c85f
parent: 9b65e61621cf82f7283feef62830e170ced4a0d3 [diff]

feat: remove useless try_pin

2 files changed

tree: bb80e4f8d73719ea26cb2f82c05afcc6b2a2c85f

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.