commit: b3afe3ba13c6cf1e802231821a30f5ba0fa2a881

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

Fri Oct 30 01:21:13 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Oct 30 01:47:07 2026 -0300
tree: 017f80f179037e9a541eab881cfece25837eca80
parent: c8ef4475dde423def6926ca05d897351d505dc70 [diff]

test: redirect parameter

2 files changed

tree: 017f80f179037e9a541eab881cfece25837eca80

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.