commit: e1cadcbfcaa416190754e4017cec24e288d8cee7

[log]
author: Marc Huisinga <mhuisi@protonmail.com>

Sun Mar 31 14:47:45 2024 +0200
committer: GitHub <noreply@github.com>

Sun Mar 31 12:47:45 2024 +0000
tree: a89268f95a352a9b1adacef94ab35526555cc6bd
parent: d8d64f1fc0fbe936a0043d235d39f6d146d55ddf [diff]

chore: bump language server version (#3813)

This will allow us to add backwards compatibility in vscode-lean4 for
some recent changes more easily.

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

1 file changed

tree: a89268f95a352a9b1adacef94ab35526555cc6bd

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.