commit: a3d77aa8b4e320e8da696ffdf1c156f3f0eb7e52

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

Mon Apr 15 09:57:52 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Apr 15 09:57:52 2024 +0200
tree: 26a4bd706bf609081179808845af0fd88b057d3d
parent: 892bfe2c5fdd964405d94f0adb0e178fe2b485af [diff]

feat: display auto-implicits as inlay hints

6 files changed

tree: 26a4bd706bf609081179808845af0fd88b057d3d

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.