commit: e87858f624e32726de67fe26840a4b6010910715

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Fri Sep 26 22:23:03 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Sep 26 22:23:03 2025 -0700
tree: e2d115ad19d19193f92c312278ed72d80f048285
parent: 5db666d9bff2eb4bf9069a305f190443a09c272c [diff]

chore: fix typos

src/Lean/Meta/Tactic/Grind/Order/Proof.lean[diff]

1 file changed

tree: e2d115ad19d19193f92c312278ed72d80f048285

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.