commit: 7c1e0a23d7c651a280bbb94affe9d20b08104814

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

Thu Apr 17 16:47:13 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Apr 17 16:47:13 2025 -0700
tree: e058015b34192fe51a3323b96f40cbd0a731719a
parent: 660ac80958d55b05da7f0d298a79709a2fbc52f9 [diff]

test: terminalTacticsAsSorry

tests/lean/run/terminalAsSorry.lean[Added - diff]

1 file changed

tree: e058015b34192fe51a3323b96f40cbd0a731719a

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).