commit: fa661f3414f888708dceccc5e4d87ee1423341f5

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

Wed Oct 15 18:57:06 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Oct 15 18:57:06 2025 -0700
tree: 780a66b3129979dc2c03dc637634641f03d3b09a
parent: cb405b5775bba4e9e728badcdd2264a5fd974e7f [diff]

chore: remove leftover

src/Lean/Meta/Basic.lean[diff]

1 file changed

tree: 780a66b3129979dc2c03dc637634641f03d3b09a

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.