commit: 2dbb13022d08608e9e2da96eba2923d4d2fdf9e0

[log]
author: Joe Hendrix <joe@lean-fro.org>

Fri Feb 16 15:22:55 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Feb 21 10:51:38 2024 -0800
tree: 95df94eb604bc908bb7de8dadfbed194684ddb87
parent: 75272cb157f212976626f26d53270c6601d2d835 [diff]

chore: make server completion predicate not private

src/Lean/Meta/CompletionName.lean[Added - diff]
src/Lean/Server/Completion.lean[diff]

2 files changed

tree: 95df94eb604bc908bb7de8dadfbed194684ddb87

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.