commit: 2a091c1708c26603d1f153bfa3e050e551b4c5f8

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

Tue Mar 17 20:00:48 2026 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 18 10:10:52 2026 -0400
tree: bcae34cb357be10148a1aaa8f9ee0543ea1a107d
parent: ea49bc9bcf41591e02e66313e5108159152e9df5 [diff]

feat: basic `sym` interactive mode

8 files changed

tree: bcae34cb357be10148a1aaa8f9ee0543ea1a107d

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.