commit: 4034a5f80862a2bbbd5e4b0d2004e5e984ea0ebf

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Tue Feb 20 10:21:12 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Feb 20 10:27:05 2024 +0100
tree: b07c2a06c122fb157b32a843743137c749d29c9a
parent: 0198d557faedbc44c442db39d99627cd3ee04849 [diff]

fix: use builtin code action for "try this"

src/Lean/Meta/Tactic/TryThis.lean[diff]

1 file changed

tree: b07c2a06c122fb157b32a843743137c749d29c9a

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.