commit: 61052d52583c5e58c43d5318e4e75278fc6007b0

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

Fri Feb 09 12:27:36 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Feb 09 12:28:08 2024 +0100
tree: c40614a86bc58fc5fb8286569d7953ce2bd74bf1
parent: a7364499d24bc4cb73e71eb9e94b3cd44835698f [diff]

feat: add `[builtin_code_action_provider]`

src/Lean/Server/CodeActions.lean[diff]

1 file changed

tree: c40614a86bc58fc5fb8286569d7953ce2bd74bf1

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.