commit: 09dc76f1f2ef8cbb6c8af38253a1c030f892fbeb

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

Tue Dec 23 19:18:42 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 23 19:22:50 2025 -0800
tree: 1cebc6134f312af2a6cd5d5996e826a516d1aa5a
parent: c31ad3c22a2d5209355524373f55a0858a5bb554 [diff]

feat: `mkGoal` at `SymM`

4 files changed

tree: 1cebc6134f312af2a6cd5d5996e826a516d1aa5a

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.